search

dafny-lang / dafny

Dafny is a verification-aware programming language
https://dafny.org
Other
2.94k stars 263 forks source link

Golang: Skip ghost parameters in type parameter downcast #5815

Closed robin-aws closed 1 month ago

robin-aws commented 1 month ago

Description

Fixes #5814

How has this been tested?

github-issue-5814.dfy

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.