Agda-2.3.2.2: test/fail/AmbiguousModule.agda

module AmbiguousModule where

module A where
module B where
  module A where

open B
open A