rustc_
infer
1.82.0
(f6e511eec 2024-10-15)
Into
Kind
Required Associated Types
Kind
Required Methods
kind
Implementations on Foreign Types
Clause<'tcx>
Const<'tcx>
GenericArg<'tcx>
Predicate<'tcx>
Region<'tcx>
Term<'tcx>
Ty<'tcx>
Implementors
In rustc_
infer::
infer::
canonical::
ir::
inherent
Trait
rustc_infer
::
infer
::
canonical
::
ir
::
inherent
::
IntoKind
Copy item path
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
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
§
type
Kind
=
GenericArgKind
<
TyCtxt
<'tcx>>
source
§
fn
kind
(self) ->
GenericArgKind
<
TyCtxt
<'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
§
type
Kind
=
Binder
<
TyCtxt
<'tcx>,
PredicateKind
<
TyCtxt
<'tcx>>>
source
§
fn
kind
(self) ->
Binder
<
TyCtxt
<'tcx>,
PredicateKind
<
TyCtxt
<'tcx>>>
source
§
impl<'tcx>
IntoKind
for
Region
<'tcx>
source
§
type
Kind
=
RegionKind
<
TyCtxt
<'tcx>>
source
§
fn
kind
(self) ->
RegionKind
<
TyCtxt
<'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
§