For the latest documentation on Visual Studio 2017, see Visual Studio 2017 Documentation.
For the latest documentation on Visual Studio 2017, see C6509 on docs.microsoft.com. warning C6509: invalid annotation: 'return' cannot be referenced from a precondition
This warning indicates that the
return keyword cannot be used in a precondition. The
return keyword is used to terminate the execution of a function and return control to the calling function.
The following code generates this warning because
return is used in a precondition:
To correct this warning, use the following code: