Trait chalk_ir::cast::CastTo [−][src]
pub trait CastTo<T: HasInterner>: Sized { fn cast_to(self, interner: &T::Interner) -> T; }
Expand description
The “helper” trait for cast
that actually implements the
transformations. You can also use this if you want to have
functions that take (e.g.) an impl CastTo<Goal<_>>
or something
like that.