Trait chalk_ir::UnificationDatabase [−][src]
pub trait UnificationDatabase<I> where
Self: Debug,
I: Interner, { fn fn_def_variance(&self, fn_def_id: FnDefId<I>) -> Variances<I>; fn adt_variance(&self, adt_id: AdtId<I>) -> Variances<I>; }
Expand description
Logic to decide the Variance for a given subst
Required methods
fn fn_def_variance(&self, fn_def_id: FnDefId<I>) -> Variances<I>
[src]
fn fn_def_variance(&self, fn_def_id: FnDefId<I>) -> Variances<I>
[src]Gets the variances for the substitution of a fn def
fn adt_variance(&self, adt_id: AdtId<I>) -> Variances<I>
[src]
fn adt_variance(&self, adt_id: AdtId<I>) -> Variances<I>
[src]Gets the variances for the substitution of a adt