You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We should replace all occurrences of NOINLINE with OPAQUE, because the former doesn't actually prevent inlining. See also the original proposal to introduce OPAQUE.
Once this is done we should check if that's enough to consider #4193 done.
The text was updated successfully, but these errors were encountered:
We should replace all occurrences of
NOINLINE
withOPAQUE
, because the former doesn't actually prevent inlining. See also the original proposal to introduceOPAQUE
.Once this is done we should check if that's enough to consider #4193 done.
The text was updated successfully, but these errors were encountered: