Guillaume Gomez 218e88e5d8 Rollup merge of #114123 - oli-obk:tait_wtf, r=WaffleLapkin ...

Turns out opaque types can have hidden types registered during mir validation

See the newly added test's documentation for an explanation.

fixes #114121

2023-07-27 16:05:15 +02:00

..

src

Rollup merge of #114123 - oli-obk:tait_wtf, r=WaffleLapkin

2023-07-27 16:05:15 +02:00

Cargo.toml

Replace in-tree rustc_apfloat with the new version of the crate

2023-07-26 10:20:15 -04:00

messages.ftl

interpret: refactor projection code to work on a common trait, and use that for visitors

2023-07-25 14:30:58 +02:00