Michael Goulet 702a644b74 Check vtable projections for validity in miri

2024-09-23 19:38:26 -04:00

..

src

Check vtable projections for validity in miri

2024-09-23 19:38:26 -04:00

Cargo.toml

Test and implement reachability for trait objects and generic parameters of functions

2024-03-14 14:10:45 +00:00

messages.ftl

disallow naked_asm! outside of #[naked] functions

2024-09-10 15:19:14 +02:00