Info should *never* fail when the underlying tactic succeeds ("Cannot reinterpret "fun x : True => H x" in the current environment. ")

[JasonGross]

Description of the problem

Ltac t := let H := lazymatch goal with H : _ |- _ => H end in
          let H' := constr:(fun x => H x) in specialize H'.
Goal (True -> True) -> True.
  intro H.
  t. (* success *)
  Info 1 t. (* Error: Cannot reinterpret "fun x : True => H x" in the current environment. *)

I suspect specialize or Info is recording its backtrace with the wrong environment?

Coq Version

8.11