Trait rustc_type_ir::BoundVars

source · 
pub trait BoundVars<I: Interner> {
    // Required methods
    fn bound_vars(&self) -> I::BoundVars;
    fn has_no_bound_vars(&self) -> bool;
}

Required Methods§

source

fn bound_vars(&self) -> I::BoundVars

source

fn has_no_bound_vars(&self) -> bool

Implementors§