Skip to main content

ResponseT

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

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§

Source§

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

Source§

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