rustc_
type_
ir
1.83.0-beta.5
(eb6e3fa1a 2024-11-08)
Module predicate_
kind
Module Items
Enums
In crate rustc_
type_
ir
rustc_type_ir
Module
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