Agda-2.3.2.2: test/fail/A/M.agda

module A.M where

import A.B.M