fix20704

Commit

9 years ago

Merge pull request #20726 from JuliaLang/jb/fix20704 fix #20704, `pure` annotation should not skip method errors

References

Author

JeffBezanson

Parents