module
type
  R = record
    x: Int
  end

var
  r := { const R; x: 1 } (* @Error Record constructor cannot have 'const' qualifier *)

end.