Skip to main content

## IntoKind

# Trait IntoKind

Source

    pub trait IntoKind {
        type Kind;

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

## Required Associated Types§

Source

#### type Kind

## Required Methods§

Source

#### fn kind(self) -> Self::Kind

## Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

## Implementors§

Source§

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

Source§

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

Source§

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

Source§

#### type Kind = ConstKind<TyCtxt<'tcx>>

Source§

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

Source§

#### type Kind = GenericArgKind<TyCtxt<'tcx>>

Source§

### impl<'tcx> IntoKind for Pattern<'tcx>

Source§

#### type Kind = PatternKind<TyCtxt<'tcx>>

Source§

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

Source§

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

Source§

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

Source§

#### type Kind = RegionKind<TyCtxt<'tcx>>

Source§

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

Source§

#### type Kind = TermKind<TyCtxt<'tcx>>

Source§

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

Source§

#### type Kind = TyKind<TyCtxt<'tcx>>

Source§

### impl<'tcx> IntoKind for ValTree<'tcx>

Source§

#### type Kind = ValTreeKind<TyCtxt<'tcx>>