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.

Required Methods

Cast a value to type T.

Implementations on Foreign Types