Skip to content
Snippets Groups Projects

Avoid inconsistent sealing of subtyping. Instead give better type class precedences.

Passed
Robbert Krebbers created pipeline for commit d2372b49
, finished
For master
1 job 5 minutes 40 seconds, queued for 3 seconds