Skip to content
Build and Test Dafny Standard Libraries

fix: Fix parsing error and a crash with non-reference-trait base type #872

Sign in to view logs

fix: Fix parsing error and a crash with non-reference-trait base type

fix: Fix parsing error and a crash with non-reference-trait base type #872

Annotations

1 error

The logs for this run have expired and are no longer available.