Module project_goals 

Re-exports

use rustc_type_ir::solve::QueryResultOrRerunNonErased; 🔒

use rustc_type_ir as ty; 🔒

use rustc_type_ir::Interner; 🔒

use rustc_type_ir::ProjectionClause; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use tracing::trace; 🔒

use crate::delegate::SolverDelegate; 🔒

use crate::solve::Certainty; 🔒

use crate::solve::EvalCtxt; 🔒

use crate::solve::Goal; 🔒

use crate::solve::GoalEvaluation; 🔒

use crate::solve::GoalSource; 🔒

use crate::solve::NestedNormalizationGoals; 🔒

Modules

anon_const 🔒

free_alias 🔒

Computes a projection goal for inherent associated types, #![feature(checked_type_aliases)] and #![feature(type_alias_impl_trait)].

inherent 🔒

Computes a projection goal for inherent associated types, #![feature(inherent_associated_type)]. Since HIR ty lowering already determines which impl the IAT is being projected from, we just:

opaque_types 🔒

Computes a projection goal for opaque types. This goal behaves differently depending on the current TypingMode.