Skip to content
Juvix Compiler CI

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

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

build-and-test-linux

build-and-test-linux
succeeded Sep 5, 2024 in 45m 54s