Agda-2.3.2.2: test/fail/DoNotFireLiteralCatchAllForNeutrals.err
DoNotFireLiteralCatchAllForNeutrals.agda:17,13-20 ⊤ !=< NotNull s of type Set when checking that the expression trivial has type NotNull s
DoNotFireLiteralCatchAllForNeutrals.agda:17,13-20 ⊤ !=< NotNull s of type Set when checking that the expression trivial has type NotNull s