[Agda] `data'-record field overlap

[Serge D. Mechveliani]

People,
the program 

  -- data   Foo1 : Set where foo : Bool -> Foo1
  record Foo2 : Set where field foo : Bool
  record Foo3 : Set where field foo : Bool

is accepted in Agda-2.3.0.1.
And un-commenting the first line yields the report of a multiple
definition for  foo.

May be this is natural. 
Anyway, is this a deliberate language restriction?

Thanks,

------
Sergei