willing to consider changing its application in any use of
Base.@pure
if it’s a mistake
You’re clearly not actually willing to, since it’s been pointed out before that the bug report mentioned above (Mysterious internal error when using Grassmann.jl · Issue #31185 · JuliaLang/julia · GitHub) demonstrates that you are using it incorrectly and that it causes issues.