Error: Anomaly "Evar ?X40 was not declared." when running template programs with holes which involve tmDefinition

[JasonGross]

From Coq Require Import Lists.List.
From MetaCoq.Utils Require Import bytestring monad_utils.
From MetaCoq.Template Require Import TemplateMonad Ast Loader.

Local Open Scope bs.
Import MCMonadNotation.
Import ListNotations.
MetaCoq Run (let ct := tConst (MPfile ["Logic"; "Init"; "Coq"], "proj1") [] in
             ' {| my_projT1 := cty; my_projT2 := cv |} <- tmUnquote ct;;
             tmDefinition "qfoo" ct;;
             tmReturn [];;
             tmReturn tt).
(* Error: Anomaly "Evar ?X40 was not declared."
Please report at http://coq.inria.fr/bugs/. *)