Searched defs:Generalization (Results 1 – 3 of 3) sorted by relevance
454 pub struct Generalization<T> { struct455 pub value: T,482 pub needs_wf: bool,
292 let Generalization { value, needs_wf: _ } = generalize::generalize( in unify_const_variable() localVariable397 let Generalization { value: b_ty, needs_wf } = generalize::generalize( in instantiate() localVariable
220 let Generalization { value: ty, needs_wf: _ } = generalize::generalize( in generalize() localVariable