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
I do wonder if we should only update the requires for now.
BTW, don't bother with the rustc_contracts change, because I think rustc might special case attributes starting with rustc_, and the name may change in the future..
The experimental contract support MCP has been approved. The syntax proposed looks like the following:
The main difference to today's implementations are the following:
for safety
vsfor correctness
). More forms may be added later.rustc_contracts
prefix instead ofcontracts
.Note that # 2 may not be a problem, per the initial PR. No matter what, we will still need to address # 1.
The text was updated successfully, but these errors were encountered: