[][src]Trait rusttyc::Generalizable

pub trait Generalizable {
    type Generalized;
    fn generalize(&self) -> Self::Generalized;
}

A type implementing this trait can be generalized into an abstract representation. This transformation cannot fail.

Associated Types

Loading content...

Required methods

fn generalize(&self) -> Self::Generalized

Generalizes the given concrete type.

Loading content...

Implementors

Loading content...