[−][src]Trait rusttyc::types::Generalizable
A type implementing this trait can be generalized
into an abstract representation infallibly.
Associated Types
type Generalized
The result type of the generalization.
Required methods
fn generalize(&self) -> Self::Generalized
Generalizes the given concrete type.