Add runtime validity checks inside MaybeUninit::assume_init - #98073

Closed

ghost wants to merge 12 commits into

unknown repository

Commits on Jun 18, 2022

Initial work on runtime type validity checks
5225225
committed
11c833e
Add more todos/safety comments
5225225
committed
ea5be8b
Add allow unstable, fix stability of validity_invariants_of
5225225
committed
5d42de2
Fix feature flag for validity_invariants_of
5225225
committed
a515b9f
Add validity_invariants_of to cranelift codegen (untested)
5225225
committed
831d2ed
Adjust documentation wording
5225225
committed
16f7536
Calculate layout of Invariant as needed, use enum for size
5225225
committed
19e0f6f
Deduplicate invariants generated
5225225
committed
97ce1fb
Properly emit a slice of Invariant, add tests
5225225
committed
3d94e25
Reformat
5225225
committed
c24ef46
Add option to disable validity invariant generation
5225225
committed
8f79b5a
Fix cranelift CustomSlice codegen
5225225
committed
81bda49