Module free_alias 

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

Since a free alias is never ambiguous, this just computes the type_of of the alias and registers the where-clauses of the type alias.

Re-exports

use rustc_type_ir::solve::QueryResultOrRerunNonErased; 🔒

use rustc_type_ir as ty; 🔒

use rustc_type_ir::Interner; 🔒

use rustc_type_ir::Unnormalized; 🔒

use crate::delegate::SolverDelegate; 🔒

use crate::solve::Certainty; 🔒

use crate::solve::EvalCtxt; 🔒

use crate::solve::Goal; 🔒

use crate::solve::GoalSource; 🔒