1 2 3 4 5 6 7
type R = record x: Int; x: Int (* @Error Record already has a field named 'x' *) end end.