Skip to content
Build and Test Dafny Runtimes

Fix: Ability to use .Key as a constant name in datatypes and classes #4472

Sign in to view logs

Fix: Ability to use .Key as a constant name in datatypes and classes

Fix: Ability to use .Key as a constant name in datatypes and classes #4472

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