Skip to content
Juvix Compiler CI

Fix typechecking of default arguments in signatures with trait arguments #8322

Sign in to view logs

Fix typechecking of default arguments in signatures with trait arguments

Fix typechecking of default arguments in signatures with trait arguments #8322

This job was skipped