2025-01-26 17:10 AEDT
  

View Revisions: Note 657

[ Back to Issue ]
Summary 0000323: Matching on adts makes and instantiation state subtyping is impossible.