Skip to main content
Module predicate_kind
rustc_
type_
ir
1.99.1
(58cf8f9c3 2026-10-13)
Module predicate_
kind
Module Items
Enums
In crate rustc_
type_
ir
rustc_type_ir
Module
predicate_
kind
Copy item path
Source
Enums
ยง
Clause
Kind
A clause is something that can appear in where bounds or be inferred by implied bounds.
Predicate
Kind