Auto merge of #117817 - fmease:deny-more-tilde-const, r=fee1-dead · RalfJung/miri@4e30867 · GitHub

Commit

Auto merge of #117817 - fmease:deny-more-tilde-const, r=fee1-dead

Browse files

Deny more `~const` trait bounds

thereby fixing a family of ICEs (delayed bugs) for `feature(const_trait_impl, effects)` code.

As discussed
r? `@fee1-dead`

Loading branch information

bors committed Nov 12, 2023

2 parents a82fa5a + 0273c6e commit 4e30867