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

build-and-test-linux

build-and-test-linux
succeeded Sep 5, 2024 in 44m 55s