Fix issue with unification of universally qualified variables in Clean.Types.Unify

1 job for fix-clean.types.unify in 1 minute and 13 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Test
passed #26668
test

00:01:13