idris-0.9.15: test/quasiquote003/NoInfer.idr

module NoInfer

import Language.Reflection
import Language.Reflection.Utils

zzz2 : TT
zzz2 = `(FZ : Fin 3)

zzz : TT
zzz = `(FZ)