Function chalk_solve::clauses::builtin_traits::unsize::principal_id
source ยท fn principal_id<I: Interner>(
db: &dyn RustIrDatabase<I>,
bounds: &Binders<QuantifiedWhereClauses<I>>,
) -> Option<TraitId<I>>