There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'

There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'

There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'

There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'

There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'

There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'

There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'

There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'

There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'

There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, aws-actions/configure-aws-credentials@v2, actions/setup-dotnet@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