Skip to content
Juvix Compiler CI

Add new case for positivity checker: type cannot occur as arg of bound var #5827

Sign in to view logs

Add new case for positivity checker: type cannot occur as arg of bound var

Add new case for positivity checker: type cannot occur as arg of bound var #5827

Annotations

1 error

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