Agda-2.3.2.2: test/fail/AmbiguousName.agda

module AmbiguousName where

module A where
  postulate X : Set

module B where
  module A where
    postulate X : Set

open A renaming (X to Y)
open B

Z = A.X