microsoft/checkedc v0.7.1-final

Version 0.7.1 of the Checked C specification

on GitHub

This is a minor update to the Checked C specification that brings it into agreement with the compiler implementation.

• Rename BOUNDS_CHECKED TO CHECKED_SCOPE.
• Update the syntax for bounds_cast expressions. Remove the old syntax where the kind of bounds expression was inferred based on the number of arguments. Now the target bounds expression is an additional argument.
• Allow an interop type and a bounds expressions as part of a bounds-safe interface.
• Make it clear that bounds-safe interfaces can be applied to unchecked arrays too.