Module predicate_kind 

Re-exports

use std::fmt; 🔒

use derive_where::derive_where; 🔒

use rustc_macros::Decodable_NoContext; 🔒

use rustc_macros::Encodable_NoContext; 🔒

use rustc_macros::StableHash_NoContext; 🔒

use rustc_type_ir_macros::GenericTypeVisitable; 🔒

use rustc_type_ir_macros::TypeFoldable_Generic; 🔒

use rustc_type_ir_macros::TypeVisitable_Generic; 🔒

use crate as ty; 🔒

use crate::Const; 🔒

use crate::Interner; 🔒

use crate::Region; 🔒

Enums

ClauseKind

A clause is something that can appear in where bounds or be inferred by implied bounds.

PredicateKind