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
The change in #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