Agda-2.3.2.2: test/fail/Unsolved-meta-in-module-telescope.agda

module Unsolved-meta-in-module-telescope (A : _) where