pub fn constrained_subst(&self) -> Option<Canonical<ConstrainedSubst>> {
        match *self {
            Solution::Unique(ref constrained) => Some(constrained.clone()),
            Solution::Ambig(Guidance::Definite(ref canonical)) |
            Solution::Ambig(Guidance::Suggested(ref canonical)) => {
                let value = ConstrainedSubst {
                    subst: canonical.value.clone(),
                    constraints: vec![],
                };
                Some(Canonical { value, binders: canonical.binders.clone() })
            }
            Solution::Ambig(_) => None,
        }
    }
/// Extract a constrained substitution from this solution, even if ambiguous.
Extract a constrained substitution from this solution, even if ambiguous.
Extract a constrained substitution from this solution even if ambiguous .
pub fn constrained_subst(&self) -> Option<Canonical<ConstrainedSubst>> {
        match *self {
            Solution::Unique(ref constrained) => Some(constrained.clone()),
            Solution::Ambig(Guidance::Definite(ref canonical)) |
            Solution::Ambig(Guidance::Suggested(ref canonical)) => {
                let value = ConstrainedSubst {
                    subst: canonical.value.clone(),
                    constraints: vec![],
                };
                Some(Canonical { value, binders: canonical.binders.clone() })
            }
            Solution::Ambig(_) => None,
        }
    }
pub fn constrained_subst ( & self ) -> Option < Canonical < ConstrainedSubst > > { match * self { Solution :: Unique ( ref constrained ) => Some ( constrained . clone ( ) ) , Solution :: Ambig ( Guidance :: Definite ( ref canonical ) ) | Solution :: Ambig ( Guidance :: Suggested ( ref canonical ) ) => { let value = ConstrainedSubst { subst : canonical . value . clone ( ) , constraints : vec ! [ ] , } ; Some ( Canonical { value , binders : canonical . binders . clone ( ) } ) } Solution :: Ambig ( _ ) => None , } }
Extract a constrained substitution from this solution, even if ambiguous.
Extract a constrained substitution from this solution even if ambiguous .
&self