Module engine 

Re-exports

use std::fmt::Debug; 🔒

use std::fmt::Debug; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyVid; 🔒

use rustc_middle::ty::Upcast; 🔒

use thin_vec::ThinVec; 🔒

use thin_vec::thin_vec; 🔒

use super::ObligationCause; 🔒

use super::PredicateObligation; 🔒

use super::PredicateObligations; 🔒

use crate::infer::InferCtxt; 🔒

use crate::traits::Obligation; 🔒

Enums

ScrubbedTraitError

A trait error with most of its information removed. This is the error returned by an ObligationCtxt by default, and suitable if you just want to see if a predicate holds, and don’t particularly care about the error itself (except for if it’s an ambiguity or true error).

TraitErrors

Traits

FromSolverError

TraitEngine