rustc_
type_
ir
1.82.0-beta.5
(6a3b69c6b 2024-09-27)
Module predicate_
kind
Enums
In crate rustc_
type_
ir
Module
rustc_type_ir
::
predicate_kind
Copy item path
source
·
[
−
]
Enums
§
Alias
Relation
Direction
Clause
Kind
A clause is something that can appear in where bounds or be inferred by implied bounds.
Predicate
Kind