[−][src]Trait rusttyc::Generalizable
A type implementing this trait can be generalized
into an abstract representation.
This transformation cannot fail.
Associated Types
type Generalized
Required methods
fn generalize(&self) -> Self::Generalized
Generalizes the given concrete type.