Skip to main content

Module normalize

rustc_next_trait_solver

Module normalize 

Source

Re-exports§

use std::fmt::Debug; 🔒
use std::fmt::Debug; 🔒
use rustc_type_ir as ty; 🔒
use rustc_type_ir::AliasTerm; 🔒
use rustc_type_ir::Binder; 🔒
use rustc_type_ir::Const; 🔒
use rustc_type_ir::FallibleTypeFolder; 🔒
use rustc_type_ir::InferCtxtLike; 🔒
use rustc_type_ir::Interner; 🔒
use rustc_type_ir::PredicateProxy; 🔒
use rustc_type_ir::TypeFoldable; 🔒
use rustc_type_ir::TypeSuperFoldable; 🔒
use rustc_type_ir::TypeVisitableExt; 🔒
use rustc_type_ir::UniverseIndex; 🔒
use tracing::instrument; 🔒
use tracing::instrument; 🔒
use crate::placeholder::BoundVarReplacer; 🔒
use crate::placeholder::PlaceholderReplacer; 🔒
use rustc_type_ir::inherent::*; 🔒

Structs§

NormalizationFolder
This folder normalizes value and collects ambiguous goals.

Enums§

HasEscapingBoundVars 🔒
NormalizationWasAmbiguous