Searched defs:trivial_substitution (Results 1 – 3 of 3) sorted by relevance
2450 pub fn trivial_substitution(&self, interner: T::Interner) -> Substitution<T::Interner> { in trivial_substitution() method
2473 pub fn trivial_substitution(&self, interner: &T::Interner) -> Substitution<T::Interner> { in trivial_substitution() method
2450 pub fn trivial_substitution(&self, interner: &T::Interner) -> Substitution<T::Interner> { in trivial_substitution() method