pub fn into_guidance(self) -> Guidance {
        match self {
            Solution::Unique(constrained) => {
                Guidance::Definite(Canonical {
                    value: constrained.value.subst,
                    binders: constrained.binders,
                })
            }
            Solution::Ambig(guidance) => guidance,
        }
    }
/// View this solution purely in terms of type inference guidance
View this solution purely in terms of type inference guidance
View this solution purely in terms of type inference guidance
pub fn into_guidance(self) -> Guidance {
        match self {
            Solution::Unique(constrained) => {
                Guidance::Definite(Canonical {
                    value: constrained.value.subst,
                    binders: constrained.binders,
                })
            }
            Solution::Ambig(guidance) => guidance,
        }
    }
pub fn into_guidance ( self ) -> Guidance { match self { Solution :: Unique ( constrained ) => { Guidance :: Definite ( Canonical { value : constrained . value . subst , binders : constrained . binders , } ) } Solution :: Ambig ( guidance ) => guidance , } }
View this solution purely in terms of type inference guidance
View this solution purely in terms of type inference guidance
self