rustc_type_ir::inherent

Trait Ty

source
pub trait Ty<I: Interner<Ty = Self>>:
    Copy
    + Debug
    + Hash
    + Eq
    + Into<I::GenericArg>
    + Into<I::Term>
    + IntoKind<Kind = TyKind<I>>
    + TypeSuperVisitable<I>
    + TypeSuperFoldable<I>
    + Relate<I>
    + Flags {
Show 42 methods // Required methods fn new_unit(interner: I) -> Self; fn new_bool(interner: I) -> Self; fn new_u8(interner: I) -> Self; fn new_usize(interner: I) -> Self; fn new_infer(interner: I, var: InferTy) -> Self; fn new_var(interner: I, var: TyVid) -> Self; fn new_param(interner: I, param: I::ParamTy) -> Self; fn new_placeholder(interner: I, param: I::PlaceholderTy) -> Self; fn new_bound(interner: I, debruijn: DebruijnIndex, var: I::BoundTy) -> Self; fn new_anon_bound( interner: I, debruijn: DebruijnIndex, var: BoundVar, ) -> Self; fn new_alias(interner: I, kind: AliasTyKind, alias_ty: AliasTy<I>) -> Self; fn new_error(interner: I, guar: I::ErrorGuaranteed) -> Self; fn new_adt(interner: I, adt_def: I::AdtDef, args: I::GenericArgs) -> Self; fn new_foreign(interner: I, def_id: I::DefId) -> Self; fn new_dynamic( interner: I, preds: I::BoundExistentialPredicates, region: I::Region, kind: DynKind, ) -> Self; fn new_coroutine( interner: I, def_id: I::DefId, args: I::GenericArgs, ) -> Self; fn new_coroutine_closure( interner: I, def_id: I::DefId, args: I::GenericArgs, ) -> Self; fn new_closure(interner: I, def_id: I::DefId, args: I::GenericArgs) -> Self; fn new_coroutine_witness( interner: I, def_id: I::DefId, args: I::GenericArgs, ) -> Self; fn new_ptr(interner: I, ty: Self, mutbl: Mutability) -> Self; fn new_ref( interner: I, region: I::Region, ty: Self, mutbl: Mutability, ) -> Self; fn new_array_with_const_len(interner: I, ty: Self, len: I::Const) -> Self; fn new_slice(interner: I, ty: Self) -> Self; fn new_tup(interner: I, tys: &[I::Ty]) -> Self; fn new_tup_from_iter<It, T>(interner: I, iter: It) -> T::Output where It: Iterator<Item = T>, T: CollectAndApply<Self, Self>; fn new_fn_def(interner: I, def_id: I::DefId, args: I::GenericArgs) -> Self; fn new_fn_ptr(interner: I, sig: Binder<I, FnSig<I>>) -> Self; fn new_pat(interner: I, ty: Self, pat: I::Pat) -> Self; fn tuple_fields(self) -> I::Tys; fn to_opt_closure_kind(self) -> Option<ClosureKind>; fn from_closure_kind(interner: I, kind: ClosureKind) -> Self; fn from_coroutine_closure_kind(interner: I, kind: ClosureKind) -> Self; fn discriminant_ty(self, interner: I) -> I::Ty; fn async_destructor_ty(self, interner: I) -> I::Ty; // Provided methods fn new_projection_from_args( interner: I, def_id: I::DefId, args: I::GenericArgs, ) -> Self { ... } fn new_projection( interner: I, def_id: I::DefId, args: impl IntoIterator<Item: Into<I::GenericArg>>, ) -> Self { ... } fn is_ty_var(self) -> bool { ... } fn is_floating_point(self) -> bool { ... } fn is_integral(self) -> bool { ... } fn is_fn_ptr(self) -> bool { ... } fn fn_sig(self, interner: I) -> Binder<I, FnSig<I>> { ... } fn is_known_rigid(self) -> bool { ... }
}

Required Methods§

source

fn new_unit(interner: I) -> Self

source

fn new_bool(interner: I) -> Self

source

fn new_u8(interner: I) -> Self

source

fn new_usize(interner: I) -> Self

source

fn new_infer(interner: I, var: InferTy) -> Self

source

fn new_var(interner: I, var: TyVid) -> Self

source

fn new_param(interner: I, param: I::ParamTy) -> Self

source

fn new_placeholder(interner: I, param: I::PlaceholderTy) -> Self

source

fn new_bound(interner: I, debruijn: DebruijnIndex, var: I::BoundTy) -> Self

source

fn new_anon_bound(interner: I, debruijn: DebruijnIndex, var: BoundVar) -> Self

source

fn new_alias(interner: I, kind: AliasTyKind, alias_ty: AliasTy<I>) -> Self

source

fn new_error(interner: I, guar: I::ErrorGuaranteed) -> Self

source

fn new_adt(interner: I, adt_def: I::AdtDef, args: I::GenericArgs) -> Self

source

fn new_foreign(interner: I, def_id: I::DefId) -> Self

source

fn new_dynamic( interner: I, preds: I::BoundExistentialPredicates, region: I::Region, kind: DynKind, ) -> Self

source

fn new_coroutine(interner: I, def_id: I::DefId, args: I::GenericArgs) -> Self

source

fn new_coroutine_closure( interner: I, def_id: I::DefId, args: I::GenericArgs, ) -> Self

source

fn new_closure(interner: I, def_id: I::DefId, args: I::GenericArgs) -> Self

source

fn new_coroutine_witness( interner: I, def_id: I::DefId, args: I::GenericArgs, ) -> Self

source

fn new_ptr(interner: I, ty: Self, mutbl: Mutability) -> Self

source

fn new_ref(interner: I, region: I::Region, ty: Self, mutbl: Mutability) -> Self

source

fn new_array_with_const_len(interner: I, ty: Self, len: I::Const) -> Self

source

fn new_slice(interner: I, ty: Self) -> Self

source

fn new_tup(interner: I, tys: &[I::Ty]) -> Self

source

fn new_tup_from_iter<It, T>(interner: I, iter: It) -> T::Output
where It: Iterator<Item = T>, T: CollectAndApply<Self, Self>,

source

fn new_fn_def(interner: I, def_id: I::DefId, args: I::GenericArgs) -> Self

source

fn new_fn_ptr(interner: I, sig: Binder<I, FnSig<I>>) -> Self

source

fn new_pat(interner: I, ty: Self, pat: I::Pat) -> Self

source

fn tuple_fields(self) -> I::Tys

source

fn to_opt_closure_kind(self) -> Option<ClosureKind>

source

fn from_closure_kind(interner: I, kind: ClosureKind) -> Self

source

fn from_coroutine_closure_kind(interner: I, kind: ClosureKind) -> Self

source

fn discriminant_ty(self, interner: I) -> I::Ty

source

fn async_destructor_ty(self, interner: I) -> I::Ty

Provided Methods§

source

fn new_projection_from_args( interner: I, def_id: I::DefId, args: I::GenericArgs, ) -> Self

source

fn new_projection( interner: I, def_id: I::DefId, args: impl IntoIterator<Item: Into<I::GenericArg>>, ) -> Self

source

fn is_ty_var(self) -> bool

source

fn is_floating_point(self) -> bool

source

fn is_integral(self) -> bool

source

fn is_fn_ptr(self) -> bool

source

fn fn_sig(self, interner: I) -> Binder<I, FnSig<I>>

source

fn is_known_rigid(self) -> bool

Returns true when the outermost type cannot be further normalized, resolved, or instantiated. This includes all primitive types, but also things like ADTs and trait objects, since even if their arguments or nested types may be further simplified, the outermost ty::TyKind or type constructor remains the same.

Object Safety§

This trait is not object safe.

Implementors§