Skip to content
Build and Test Dafny Runtimes

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

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 #6122

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