Rollup merge of #120128 - oli-obk:smir_internal_lift, r=celinval

Browse source

Make stable_mir::with_tables sound

See the first commit for the actual soundness fix. The rest is just fallout from that and is entirely safe code. Includes most of #120120

The major difference to #120120 is that we don't need an unsafe trait, as we can now rely on the type system (the only unsafe part, and the actual source of the unsoundness was in `with_tables`)

r? `@celinval`

...

This commit is contained in:

Matthias Krüger 2024-01-21 12:28:52 +01:00 committed by GitHub

parent f0841d79e4 8fc7e56cdc

commit 5f45da16e9

No known key found for this signature in database

GPG key ID: B5690EEEBB952194

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show stats Download patch file Download diff file Expand all files Collapse all files

Diff content is not available