Auto merge of #116756 - fee1-dead-contrib:dupe-those-bounds, r=oli-obk · rust-lang/miri@f29cf70 · GitHub

Commit

Auto merge of #116756 - fee1-dead-contrib:dupe-those-bounds, r=oli-obk

Browse files

Duplicate `~const` bounds with a non-const one in effects desugaring

This should unblock #116058.

r? `@oli-obk`

Loading branch information

bors committed Oct 17, 2023

2 parents 65326b2 + f0157f2 commit f29cf70