Trait chalk_ir::interner::HasInterner
source · pub trait HasInterner {
type Interner: Interner;
}Expand description
Implemented by types that have an associated interner (which
are virtually all of the types in chalk-ir, for example).
This lets us map from a type like Ty<I> to the parameter I.
It’s particularly useful for writing TypeFoldable impls for generic types like
Binder<T>, since it allows us to figure out the interner of T.