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

module Imports.Unsolved where

X : Set
X = ?