Module search_graph 

Re-exports

use std::convert::Infallible; 🔒

use std::marker::PhantomData; 🔒

use rustc_type_ir::Interner; 🔒

use rustc_type_ir::search_graph; 🔒

use rustc_type_ir::search_graph::PathKind; 🔒

use rustc_type_ir::solve::AccessedOpaques; 🔒

use rustc_type_ir::solve::Certainty; 🔒

use rustc_type_ir::solve::NoSolution; 🔒

use rustc_type_ir::solve::QueryResult; 🔒

use rustc_type_ir::solve::RerunResultExt; 🔒

use crate::canonical::response_no_constraints_raw; 🔒

use crate::delegate::SolverDelegate; 🔒

use crate::solve::EvalCtxt; 🔒

use crate::solve::FIXPOINT_STEP_LIMIT; 🔒

use crate::solve::has_no_inference_or_external_constraints; 🔒

use crate::solve::inspect; 🔒

Structs

SearchGraphDelegate 🔒

This type is never constructed. We only use it to implement search_graph::Delegate for all types which impl SolverDelegate and doing it directly fails in coherence.

Functions

response_no_constraints 🔒

Type Aliases

SearchGraph 🔒