rfcbot

[ home ]

digama0's proposals for review

• merge: Guarantee that the never type `!` is zero-sized and 1-aligned.
  • proposal | checklist
• merge: Can references inside an enum transiently set an invalid enum discriminant?
  • proposal | checklist
• merge: No subobject provenance for arrays/slices
  • proposal | checklist
• merge: fn_addr_eq: we actually can guarantee basically nothing
  • proposal | checklist
• merge: Distinguish `repr(C)` ZSTs from others in ABI compatibility rules
  • proposal | checklist
• merge: UB does not time travel
  • proposal | checklist
• merge: nail down the final validity rules: references and unions
  • proposal | checklist