Struct Context 

struct Context<'db> {
    db: &'db dyn HirDatabase,
    generics: Generics<'db>,
    variances: Box<[Variance]>,
}

Fields

db: &'db dyn HirDatabase

generics: Generics<'db>

variances: Box<[Variance]>

Implementations

impl<'db> Context<'db>

fn solve(self) -> Box<[Variance]>

fn add_constraints_from_ty(&mut self, ty: Ty<'db>, variance: Variance)

Adds constraints appropriate for an instance of ty appearing in a context with the generics defined in generics and ambient variance variance

fn add_constraints_from_pat(&mut self, pat: Pattern<'db>)

fn add_constraints_from_invariant_args(&mut self, args: GenericArgs<'db>)

fn add_constraints_from_args( &mut self, def_id: GenericDefId, args: GenericArgs<'db>, variance: Variance, )

Adds constraints appropriate for a nominal type (enum, struct, object, etc) appearing in a context with ambient variance variance

fn add_constraints_from_const(&mut self, c: Const<'db>)

Adds constraints appropriate for a const expression val in a context with ambient variance variance

fn add_constraints_from_sig( &mut self, sig_tys: impl DoubleEndedIterator<Item = Ty<'db>>, variance: Variance, )

Adds constraints appropriate for a function with signature sig appearing in a context with ambient variance variance

fn add_constraints_from_region( &mut self, region: Region<'db>, variance: Variance, )

Adds constraints appropriate for a region appearing in a context with ambient variance variance

fn add_constraints_from_mt( &mut self, ty: Ty<'db>, mt: Mutability, variance: Variance, )

Adds constraints appropriate for a mutability-type pair appearing in a context with ambient variance variance

fn constrain(&mut self, index: usize, variance: Variance)