rfcbot

[ home ]

digama0's proposals for review

• merge: Guarantee that the never type `!` is zero-sized and 1-aligned.
  • proposal | checklist
• merge: No subobject provenance for arrays/slices
  • proposal | checklist
• merge: fn_addr_eq: we actually can guarantee basically nothing
  • proposal | checklist
• merge: declare C and C-unwind as mutually ABI-compatible
  • proposal | checklist
• merge: nail down the final validity rules: references and unions
  • proposal | checklist