fix: withoutExporting around diagnostic reporting#13630

kim-em wants to merge 1 commit intoleanprover:masterleanprover/lean4:masterfrom

kim-em:issue-13581kim-em/lean4:issue-13581Copy head branch name to clipboard