Module unnormalized 

Re-exports

use std::marker::PhantomData; 🔒

use derive_where::derive_where; 🔒

use rustc_macros::StableHash_NoContext; 🔒

use rustc_type_ir_macros::GenericTypeVisitable; 🔒

use rustc_type_ir_macros::TypeVisitable_Generic; 🔒

use crate::fold::FallibleTypeFolder; 🔒

use crate::fold::TypeFoldable; 🔒

use crate::fold::TypeFolder; 🔒

use crate::upcast::Upcast; 🔒

use crate::Binder; 🔒

use crate::BoundConstness; 🔒

use crate::ClauseKind; 🔒

use crate::ClausePolarity; 🔒

use crate::HostEffectClause; 🔒

use crate::Interner; 🔒

use crate::TraitClause; 🔒

use crate::TraitRef; 🔒

use crate::inherent::*; 🔒

Structs

Unnormalized

A wrapper for values that need normalization.