The new solver ignores DefineOpaqueTypes, so switch it to Yes#123969
Merged
bors merged 1 commit intorust-lang:masterfrom oli-obk:define_opaque_types6Apr 16, 2024
+1-1
DefineOpaqueTypes, so switch it to Yes#123969