Module generalize 

Re-exports

use std::mem; 🔒

use rustc_data_structures::sso::SsoHashMap; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_middle::ty::error::TypeError; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::InferConst; 🔒

use rustc_middle::ty::Term; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeFlags; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_span::Span; 🔒

use rustc_span::bug; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use tracing::warn; 🔒

use super::PredicateEmittingRelation; 🔒

use super::Relate; 🔒

use super::RelateResult; 🔒

use super::TypeRelation; 🔒

use crate::infer::type_variable::TypeVariableValue; 🔒

use crate::infer::unify_key::ConstVariableValue; 🔒

use crate::infer::InferCtxt; 🔒

use crate::infer::RegionVariableOrigin; 🔒

use crate::infer::relate; 🔒

Structs

Generalization 🔒

Result from a generalization operation. This includes not only the generalized type, but also a bool flag indicating whether further WF checks are needed.

Generalizer 🔒

The “generalizer” is used when handling inference variables.

Enums

TermVid 🔒

Constants

NEEDS_GENERALIZATION 🔒

Do we need to generalize this type?