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.