Type Definition rustc_middle::ty::context::CanonicalUserType[−][src]

type CanonicalUserType<'tcx> = Canonical<'tcx, UserType<'tcx>>;

Canonicalized user type annotation.

Implementations

`impl<'tcx> CanonicalUserType<'tcx>`[src]

`pub fn is_identity(&self) -> bool`[src]

Returns true if this represents a substitution of the form [?0, ?1, ?2], i.e., each thing is mapped to a canonical variable with the same index.