rustc_next_trait_solver::solve::eval_ctxt::canonical

Trait ResponseT

source 
trait ResponseT<I: Interner> {
    // Required method
    fn var_values(&self) -> CanonicalVarValues<I>;
}

Required Methods§

source

fn var_values(&self) -> CanonicalVarValues<I>

Implementors§

source§

impl<I: Interner> ResponseT<I> for Response<I>

source§

impl<I: Interner, T> ResponseT<I> for State<I, T>