Rollup merge of #119230 - Nadrieril:librarify-even-further, r=compile… · rust-lang/miri@8db883f · GitHub

Commit

Rollup merge of #119230 - Nadrieril:librarify-even-further, r=compile…

Browse files

…r-errors

Exhaustiveness: clean up after librarification

This cleans up some things that weren't done nicely by rust-lang/rust#118842.

r? `@compiler-errors`

Loading branch information

compiler-errors authored Dec 23, 2023

2 parents fa50f10 + b19ad5d commit 8db883f