Agda-2.3.2.2: test/fail/Imports/ShouldBePi.agda

module ShouldBePi where

postulate X : Set