Agda-2.3.2.2: test/fail/TermSplicingOutOfScope.agda

open import Common.Prelude
open import Common.Reflect

module TermSplicingOutOfScope where

f : Set → Set → Set → Set
f x y z = unquote (var 3 [])