ltac2: add failing apply test from #15691
ltac2: add failing apply test from #15691

The test works without importing Ltac2.Ltac2.

Signed-off-by: Ramkumar Ramachandra <4dc7c9ec434ed06502767136789763ec11d2c4b7@artagnon.com>

Zimmi48/coq,coq/coq,coq/coq,Zimmi48/coq,ejgallego/coq,ejgallego/coq,ejgallego/coq,SkySkimmer/coq,SkySkimmer/coq,SkySkimmer/coq,SkySkimmer/coq,coq/coq,coq/coq,Zimmi48/coq,Zimmi48/coq,ejgallego/coq