pub fn is_trivial_within(&self, in_infer: &mut InferenceTable) -> bool {
        for value in self.parameters.values() {
            match value {
                ParameterKind::Ty(ty) => {
                    if let Some(var) = ty.inference_var() {
                        if in_infer.var_is_bound(var) {
                            return false;
                        }
                    }
                }

                ParameterKind::Lifetime(lifetime) => {
                    if let Some(var) = lifetime.inference_var() {
                        if in_infer.var_is_bound(var) {
                            return false;
                        }
                    }
                }
            }
        }

        true
    }
/// Check whether this substitution is the identity substitution in the
/// given inference context.
Check whether this substitution is the identity substitution in the
given inference context.
Check whether this substitution is the identity substitution in the given inference context .
pub fn is_trivial_within(&self, in_infer: &mut InferenceTable) -> bool {
        for value in self.parameters.values() {
            match value {
                ParameterKind::Ty(ty) => {
                    if let Some(var) = ty.inference_var() {
                        if in_infer.var_is_bound(var) {
                            return false;
                        }
                    }
                }
                ParameterKind::Lifetime(lifetime) => {
                    if let Some(var) = lifetime.inference_var() {
                        if in_infer.var_is_bound(var) {
                            return false;
                        }
                    }
                }
            }
        }
        true
    }
pub fn is_trivial_within ( & self , in_infer : & mut InferenceTable ) -> bool { for value in self . parameters . values ( ) { match value { ParameterKind :: Ty ( ty ) => { if let Some ( var ) = ty . inference_var ( ) { if in_infer . var_is_bound ( var ) { return false ; } } } ParameterKind :: Lifetime ( lifetime ) => { if let Some ( var ) = lifetime . inference_var ( ) { if in_infer . var_is_bound ( var ) { return false ; } } } } } true }
Check whether this substitution is the identity substitution in the
given inference context.
Check whether this substitution is the identity substitution in the given inference context .
&self
in_infer
&mut InferenceTable