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