Correct ability unification failure order

This commit is contained in:
ayazhafiz 2022-06-22 23:42:20 -04:00
parent aa9fbb7cd2
commit d3f8734af8
No known key found for this signature in database
GPG key ID: B443F7A3030C9AED

View file

@ -1713,7 +1713,7 @@ fn check_ability_specialization(
}
}
Failure(vars, actual_type, expected_type, unimplemented_abilities) => {
Failure(vars, expected_type, actual_type, unimplemented_abilities) => {
subs.commit_snapshot(snapshot);
introduce(subs, rank, pools, &vars);