Function chalk_solve::clauses::builtin_traits::add_builtin_assoc_program_clauses

source ยท 
pub fn add_builtin_assoc_program_clauses<I: Interner>(
    db: &dyn RustIrDatabase<I>,
    builder: &mut ClauseBuilder<'_, I>,
    well_known: WellKnownTrait,
    self_ty: Ty<I>,
) -> Result<(), Floundered>
Expand description

Like add_builtin_program_clauses, but for DomainGoal::Normalize involving a projection (e.g. <fn(u8) as FnOnce<(u8,)>>::Output)