Module effect_goals 

Dealing with host effect goals, i.e. enforcing the constness in T: const Trait or T: [const] Trait.

Re-exports

use rustc_type_ir::fast_reject::DeepRejectCtxt; 🔒

use rustc_type_ir::lang_items::SolverTraitLangItem; 🔒

use rustc_type_ir::solve::inspect::ProbeKind; 🔒

use rustc_type_ir::solve::AliasBoundKind; 🔒

use rustc_type_ir::solve::NoSolutionOrRerunNonErased; 🔒

use rustc_type_ir::solve::QueryResultOrRerunNonErased; 🔒

use rustc_type_ir::solve::RerunNonErased; 🔒

use rustc_type_ir::solve::SizedTraitKind; 🔒

use rustc_type_ir as ty; 🔒

use rustc_type_ir::Interner; 🔒

use rustc_type_ir::Unnormalized; 🔒

use rustc_type_ir::elaborate; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use super::assembly::Candidate; 🔒

use super::assembly::structural_traits; 🔒

use crate::delegate::SolverDelegate; 🔒

use crate::solve::BuiltinImplSource; 🔒

use crate::solve::CandidateSource; 🔒

use crate::solve::Certainty; 🔒

use crate::solve::EvalCtxt; 🔒

use crate::solve::Goal; 🔒

use crate::solve::GoalSource; 🔒

use crate::solve::NoSolution; 🔒

use crate::solve::assembly; 🔒

use rustc_type_ir::inherent::*; 🔒