Agda-2.3.2.2: test/fail/MetaOccursInItself.err
MetaOccursInItself.agda:15,18-19 Refuse to construct infinite term by instantiating _9 to List _9 when checking that the expression x has type List _9
MetaOccursInItself.agda:15,18-19 Refuse to construct infinite term by instantiating _9 to List _9 when checking that the expression x has type List _9