Function chalk_solve::clauses::builtin_traits::discriminant_kind::add_discriminant_clauses

pub fn add_discriminant_clauses<I: Interner>(
    db: &dyn RustIrDatabase<I>,
    builder: &mut ClauseBuilder<'_, I>,
    self_ty: Ty<I>
) -> Result<(), Floundered>