fix(frontend): bad merge of 254fd5a and 95c3941 together

W95Psp · W95Psp · commit 6f7385223737 · 2025-06-12T21:15:26.000+02:00
diff --git a/frontend/exporter/src/types/new/full_def.rs b/frontend/exporter/src/types/new/full_def.rs
@@ -277,7 +277,7 @@ pub enum FullDefKind<Body> {
     TraitAlias {
         #[value(get_param_env(s, s.owner_id()))]
         param_env: ParamEnv,
-        #[value(implied_predicates(s.base().tcx, s.owner_id()).sinto(s))]
+        #[value(implied_predicates(s.base().tcx, s.owner_id(), s.base().options.resolve_drop_bounds).sinto(s))]
         implied_predicates: GenericPredicates,
         /// The special `Self: Trait` clause.
         #[value(get_self_predicate(s))]
