Agda-2.3.2.2: test/fail/SetOmega.err
SetOmega.agda:9,17-36 Setω !=< Set _a_3 because this would result in an invalid use of Setω when checking that the expression (a : Level) → Set a has type Set _a_3
SetOmega.agda:9,17-36 Setω !=< Set _a_3 because this would result in an invalid use of Setω when checking that the expression (a : Level) → Set a has type Set _a_3