Remy Willems
Remy Willems
### What was changed? ### How has this been tested? By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).
Run `dafny verify --type-system-refresh` on: ```dafny trait Enumerable extends object {} trait Animal {} trait Dog extends Animal {} method foo(xs: Enumerable) { var a: Enumerable := TraitCast(xs); } function...
### Summary Enable the Dafny CLI to download the recommended solver version ### Background and Motivation Customers that install Dafny through `dotnet tool install` or through another package manager won't...