# Trait rustc_type_ir::inherent::GenericArg

source ·

    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§

source

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

source

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

source

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

source

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

source

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

source

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

source

#### fn is_non_region_infer(self) -> bool

## Object Safety§

This trait is not object safe.

## Implementors§