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>