pub fn predicates<'db>( db: &'db dyn HirDatabase, impl_: BuiltinDeriveImplId, ) -> &'db GenericPredicates