Agda-2.3.2.2: test/fail/PropNoMore.err
PropNoMore.agda:5,7-11 Prop is no longer supported when checking that the expression Prop has type Set _0
PropNoMore.agda:5,7-11 Prop is no longer supported when checking that the expression Prop has type Set _0