Commit 7ecee28d authored by Csongor Kiss's avatar Csongor Kiss

Forall types now have matchabilities

parent b79642af
Pipeline #18843 failed with stages
in 3 minutes and 51 seconds