Agda-2.3.2.2: test/fail/ShadowModule.agda

module ShadowModule where

module A where
  module B where
    data D : Set where

open A

module B where