Function chalk_solve::clauses::super_traits::push_trait_super_clauses
source ยท pub(super) fn push_trait_super_clauses<I: Interner>(
db: &dyn RustIrDatabase<I>,
builder: &mut ClauseBuilder<'_, I>,
trait_ref: TraitRef<I>,
)
Expand description
Generate Implemented
and Normalize
clauses for dyn Trait
and opaque types.
We need to generate those clauses for all super traits, and for each trait we
require its where clauses. (See #203)