rustc_middle::ty::predicate

Type Alias OutlivesPredicate

source
pub type OutlivesPredicate<'tcx, T> = OutlivesPredicate<TyCtxt<'tcx>, T>;

Aliased Type§

struct OutlivesPredicate<'tcx, T>(pub T, pub Region<'tcx>);

Fields§

§0: T§1: Region<'tcx>

Trait Implementations§

source§

impl<'tcx, T, P: PrettyPrinter<'tcx>> Print<'tcx, P> for OutlivesPredicate<'tcx, T>
where T: Print<'tcx, P>,

Layout§

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.