Trait IntoKind

pub trait IntoKind {
    type Kind;

    // Required method
    fn kind(self) -> Self::Kind;
}

Required Associated Types

type Kind

Required Methods

fn kind(self) -> Self::Kind

Implementors

impl<'tcx> IntoKind for Const<'tcx>

type Kind = ConstKind<TyCtxt<'tcx>>

impl<'tcx> IntoKind for GenericArg<'tcx>

type Kind = GenericArgKind<TyCtxt<'tcx>>

impl<'tcx> IntoKind for Clause<'tcx>

type Kind = Binder<TyCtxt<'tcx>, ClauseKind<TyCtxt<'tcx>>>

impl<'tcx> IntoKind for Predicate<'tcx>

type Kind = Binder<TyCtxt<'tcx>, PredicateKind<TyCtxt<'tcx>>>

impl<'tcx> IntoKind for Region<'tcx>

type Kind = RegionKind<TyCtxt<'tcx>>

impl<'tcx> IntoKind for Term<'tcx>

type Kind = TermKind<TyCtxt<'tcx>>

impl<'tcx> IntoKind for Ty<'tcx>

type Kind = TyKind<TyCtxt<'tcx>>