[Agda] Duplicate parameter names in type definition

[Vag Vagoff]

module Bug where

data Type : Set where value : Type
data Test (h : Type) (h : Type) : Set where -- duplicate names [!]
     tst : Test _ _
test : Test value value
test = tst

This source typechecks. Is it intended compiler behaviour?