Function chalk_solve::clauses::builtin_traits::unsize::principal_id

fn principal_id<I: Interner>(
    db: &dyn RustIrDatabase<I>,
    bounds: &Binders<QuantifiedWhereClauses<I>>
) -> Option<TraitId<I>>