Add runtime validity checks inside MaybeUninit::assume_init#98073

Closed

ghost wants to merge 12 commits intomasterfrom

unknown repository

Commits on Jun 18, 2022

Initial work on runtime type validity checks
5225225
committed
Add more todos/safety comments
5225225
committed
Add allow unstable, fix stability of validity_invariants_of
5225225
committed
Fix feature flag for validity_invariants_of
5225225
committed
Add validity_invariants_of to cranelift codegen (untested)
5225225
committed
Adjust documentation wording
5225225
committed
Calculate layout of Invariant as needed, use enum for size
5225225
committed
Deduplicate invariants generated
5225225
committed
Properly emit a slice of Invariant, add tests
5225225
committed
Reformat
5225225
committed
Add option to disable validity invariant generation
5225225
committed
Fix cranelift CustomSlice codegen
5225225
committed