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