Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix attributes for
donotdelete
intrinsic (JuliaLang#45010)
The change in JuliaLang#44793 changed the signature of the donotdelete intrinsic, but didn't change the corresponding attributes, leaving a `nonnull` attribute on a `void` return, which fails the verifier.
- Loading branch information