refactor(AtLocation): allow throwing a warning when no progress is being made#37899

grunweg wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

grunweg:configure-warnings2grunweg/mathlib4:configure-warnings2Copy head branch name to clipboard