Module 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:

1. instantiate generic parameters,
2. equate the self type, and
3. instantiate and register where clauses.

Re-exports

use rustc_type_ir::solve::NoSolutionOrRerunNonErased; 🔒

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; 🔒