Skip to content
Build DafnyRef.pdf

Fix: Ability to cast a datatype to its trait when overriding functions #15835

Sign in to view logs

Fix: Ability to cast a datatype to its trait when overriding functions

Fix: Ability to cast a datatype to its trait when overriding functions #15835

Annotations

1 error

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