Issue2284.agda:4,9-12
Shadowing in telescope, repeated variable names: x
when scope checking λ x x → x

———— All done; warnings encountered ————————————————————————

Issue2284.agda:4,9-12
Shadowing in telescope, repeated variable names: x
when scope checking λ x x → x
