Skip to main content

Module delegate

rustc_next_trait_solver

Module delegate 

Source

Re-exports§

use std::fmt::Debug; 🔒
use std::fmt::Debug; 🔒
use std::ops::Deref; 🔒
use rustc_type_ir::solve::ComputeGoalFastPathOutcome; 🔒
use rustc_type_ir::solve::FetchEligibleAssocItemResponse; 🔒
use rustc_type_ir::solve::Goal; 🔒
use rustc_type_ir::solve::NoSolution; 🔒
use rustc_type_ir::solve::VisibleForLeakCheck; 🔒
use rustc_type_ir::transmute::Answer; 🔒
use rustc_type_ir as ty; 🔒
use rustc_type_ir::CanonicalizerState; 🔒
use rustc_type_ir::Const; 🔒
use rustc_type_ir::InferCtxtLike; 🔒
use rustc_type_ir::Interner; 🔒
use rustc_type_ir::Region; 🔒
use rustc_type_ir::TypeFoldable; 🔒

Traits§

SolverDelegate
SolverDelegate is one of the two traits in the rustc_type_ir shared abstraction layer between rustc and rust-analyzer abstracting over the InferCtxt, which had to be split due to coherence reasons: