`-Znext-solver`: fix opaque type implied bounds unsoundness - #160425

lcnr wants to merge 1 commit into

`-Znext-solver`: fix opaque type implied bounds unsoundness#160425
lcnr wants to merge 1 commit into
rust-lang:mainfrom
lcnr:fix-implied-bounds

fix opaque type implied bounds issue