Module lattice 

Lattice variables

Generic code for operating on lattices of inference variables that are characterized by an upper- and lower-bound.

The code is defined quite generically so that it can be applied both to type variables, which represent types being inferred, and fn variables, which represent function types being inferred. (It may eventually be applied to their types as well.) In some cases, the functions are also generic with respect to the operation on the lattice (GLB vs LUB).

Note

Although all the functions are generic, for simplicity, comments in the source code generally refer to type variables and the LUB operation.

Re-exports

use rustc_hir::def_id::DefId; 🔒

use rustc_middle::traits::solve::Goal; 🔒

use rustc_middle::ty::relate::combine::combine_ty_args; 🔒

use rustc_middle::ty::relate::combine::super_combine_consts; 🔒

use rustc_middle::ty::relate::combine::super_combine_tys; 🔒

use rustc_middle::ty::relate::Relate; 🔒

use rustc_middle::ty::relate::RelateResult; 🔒

use rustc_middle::ty::relate::TypeRelation; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TyVar; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_span::Span; 🔒

use rustc_span::span_bug; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use super::combine::PredicateEmittingRelation; 🔒

use crate::infer::DefineOpaqueTypes; 🔒

use crate::infer::InferCtxt; 🔒

use crate::infer::SubregionOrigin; 🔒

use crate::infer::TypeTrace; 🔒

use crate::traits::Obligation; 🔒

use crate::traits::PredicateObligations; 🔒

Structs

LatticeOp 🔒

A greatest lower bound“ (common subtype) or least upper bound (common supertype).

Enums

LatticeOpKind 🔒