test injection

### Description of the problem

~~~
hello world

### Small Coq file to reproduce the bug

```coq
~~~
good bye world
```


### Version of Coq where this bug occurs

_No response_

### Last version of Coq where the bug did not occur

_No response_