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>

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

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

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

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

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

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