Trait rustc_middle::ty::inherent::Region

source ·

pub trait Region<I>: Copy + Debug + Hash + Eq + Into<<I as Interner>::GenericArg> + IntoKind<Kind = RegionKind<I>> + Flags + Relate<I>where
    I: Interner<Region = Self>,{
    // Required methods
    fn new_bound(
        interner: I,
        debruijn: DebruijnIndex,
        var: <I as Interner>::BoundRegion,
    ) -> Self;
    fn new_anon_bound(
        interner: I,
        debruijn: DebruijnIndex,
        var: BoundVar,
    ) -> Self;
    fn new_static(interner: I) -> Self;

    // Provided method
    fn is_bound(self) -> bool { ... }
}