rfcbot

[ home ]

joshlf's proposals for review

• merge: Can references to uninhabited types ever be valid?
  • proposal | checklist
• merge: What are the values of a union type? (in particular, what is the validity invariant of a union)
  • proposal | checklist