pub trait IntoKind {
    type Kind;

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

Required Associated Types§

Required Methods§

source

fn kind(self) -> Self::Kind

Implementations on Foreign Types§

source§

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

source§

type Kind = ConstKind<TyCtxt<'tcx>>

source§

fn kind(self) -> ConstKind<TyCtxt<'tcx>>

source§

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

source§

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

source§

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

source§

fn kind(self) -> Binder<TyCtxt<'tcx>, ClauseKind<TyCtxt<'tcx>>>

source§

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

source§

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

source§

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

source§

type Kind = TermKind<TyCtxt<'tcx>>

source§

fn kind(self) -> TermKind<TyCtxt<'tcx>>

source§

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

source§

type Kind = TyKind<TyCtxt<'tcx>>

source§

fn kind(self) -> TyKind<TyCtxt<'tcx>>

Implementors§