Agda-2.3.2.2: test/fail/TermSplicingOutOfScope.err
TermSplicingOutOfScope.agda:7,11-29 Panic: unbound variable @3 when checking that the expression @3 has type Set
TermSplicingOutOfScope.agda:7,11-29 Panic: unbound variable @3 when checking that the expression @3 has type Set