The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The variable 'e' is declared but never used

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

This label has not been referenced

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'