Adding a location to a few Fixpoint-related errors - #19223

Adding a location to a few Fixpoint-related errors#19223

coqbot-app[bot] merged 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

herbelin:master+fixpoint-locate-some-errorsherbelin/github-coq:master+fixpoint-locate-some-errorsCopy head branch name to clipboard