--> 1:5
  |
1 | { x :T }␊
  |     ^---
  |
  = expected non_empty_record_literal or non_empty_record_type