 --> 1:5
  |
1 | let x :T = y in e␊
  |     ^---
  |
  = expected missing, if_, merge, NaN, Some_, toMap, assert, or forall
