Trait Region

source

pub trait Region<I: Interner<Region = Self>>:
    Copy
    + Debug
    + Hash
    + Eq
    + Into<I::GenericArg>
    + IntoKind<Kind = RegionKind<I>>
    + Flags
    + Relate<I> {
    // Required methods
    fn new_bound(
        interner: I,
        debruijn: DebruijnIndex,
        var: I::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 { ... }
}