pub fn has_definite(&self) -> bool {
        match *self {
            Solution::Unique(_) => true,
            Solution::Ambig(Guidance::Definite(_)) => true,
            _ => false,
        }
    }
/// Determine whether this solution contains type information that *must*
/// hold.
Determine whether this solution contains type information that *must
hold.
Determine whether this solution contains type information that * must hold .
pub fn has_definite(&self) -> bool {
        match *self {
            Solution::Unique(_) => true,
            Solution::Ambig(Guidance::Definite(_)) => true,
            _ => false,
        }
    }
pub fn has_definite ( & self ) -> bool { match * self { Solution :: Unique ( _ ) => true , Solution :: Ambig ( Guidance :: Definite ( _ ) ) => true , _ => false , } }
Determine whether this solution contains type information that *must
hold.
Determine whether this solution contains type information that * must hold .
&self