Commits
- 868fd4a: Fix record accessors for higher-rank field types (runarorama) #6239
- e745bdd: Record passing tests proof; regen fix-pattern-capture output (runarorama) #6239
- cbd4cd0: Record passing transcripts proof (runarorama) #6239
- 3eb8490: Generalize record accessors to fully general (type-changing) types (runarorama) #6239
- 48c1c35: Record passing tests and transcripts proofs (runarorama) #6239
- 698c56b: Merge branch 'trunk' into fix/rank-n-record-accessors (Rúnar) #6239
- 0d9d70c: Update proofs (runarorama) #6239