The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The assembly 'content/Microsoft.TestPlatform.PlatformAbstractions.dll' is not inside the 'lib' folder and hence it won't be added as a reference when the package is installed into a project. Move it into the 'lib' folder if it needs to be referenced.

The assembly 'contentFiles/any/net6.0/Microsoft.TestPlatform.PlatformAbstractions.dll' is not inside the 'lib' folder and hence it won't be added as a reference when the package is installed into a project. Move it into the 'lib' folder if it needs to be referenced.

File '/home/runner/work/dafny/dafny/dafny/Binaries/publish/DafnyRuntimeRust/.gitignore' was not added to the package. Files and folders starting with '.' or ending with '.nupkg' are excluded by default. To include this file, use -NoDefaultExcludes from the commandline

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.

The switch expression does not handle some values of its input type (it is not exhaustive) involving an unnamed enum value. For example, the pattern '(Microsoft.Dafny.FrameExpressionUse)3' is not covered.