Trait GenericArg

pub trait GenericArg<I: Interner<GenericArg = Self>>:
    Copy
    + Debug
    + Hash
    + Eq
    + IntoKind<Kind = GenericArgKind<I>>
    + TypeVisitable<I>
    + Relate<I>
    + From<I::Ty>
    + From<I::Region>
    + From<I::Const> {
    // Provided methods
    fn as_type(&self) -> Option<I::Ty> { ... }
    fn expect_ty(&self) -> I::Ty { ... }
    fn as_const(&self) -> Option<I::Const> { ... }
    fn expect_const(&self) -> I::Const { ... }
    fn as_region(&self) -> Option<I::Region> { ... }
    fn expect_region(&self) -> I::Region { ... }
    fn is_non_region_infer(self) -> bool { ... }
}

Provided Methods

fn as_type(&self) -> Option<I::Ty>

fn expect_ty(&self) -> I::Ty

fn as_const(&self) -> Option<I::Const>

fn expect_const(&self) -> I::Const

fn as_region(&self) -> Option<I::Region>

fn expect_region(&self) -> I::Region

fn is_non_region_infer(self) -> bool

Object Safety

This trait is not object safe.

Implementors