Skip to main content

Module canonicalizer

rustc_next_trait_solver::canonical

Module canonicalizer 

Source

Re-exports§

use std::collections::hash_map::Entry; 🔒
use rustc_type_ir::solve::Goal; 🔒
use rustc_type_ir::solve::QueryInput; 🔒
use rustc_type_ir as ty; 🔒
use rustc_type_ir::Canonical; 🔒
use rustc_type_ir::CanonicalParamEnvCacheEntry; 🔒
use rustc_type_ir::CanonicalVarKind; 🔒
use rustc_type_ir::CanonicalizerState; 🔒
use rustc_type_ir::Const; 🔒
use rustc_type_ir::Flags; 🔒
use rustc_type_ir::InferCtxtLike; 🔒
use rustc_type_ir::Interner; 🔒
use rustc_type_ir::PlaceholderConst; 🔒
use rustc_type_ir::PlaceholderType; 🔒
use rustc_type_ir::PredicateProxy; 🔒
use rustc_type_ir::Region; 🔒
use rustc_type_ir::TypeFlags; 🔒
use rustc_type_ir::TypeFoldable; 🔒
use rustc_type_ir::TypeFolder; 🔒
use rustc_type_ir::TypeSuperFoldable; 🔒
use rustc_type_ir::TypeVisitableExt; 🔒
use crate::delegate::SolverDelegate; 🔒
use rustc_type_ir::inherent::*; 🔒

Structs§

Canonicalizer 🔒

Enums§

CanonicalizeInputKind 🔒
CanonicalizeMode 🔒
Whether we’re canonicalizing a query input or the query response.

Constants§

NEEDS_CANONICAL 🔒
Does this have infer/placeholder/param, free regions or ReErased?