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)