extra debug info

This commit is contained in:
Folkert 2021-03-03 20:10:36 +01:00
parent 25827fc70e
commit 1c9cc6bc9b

View file

@ -867,7 +867,11 @@ fn unify_shared_tags(
merge(subs, ctx, Structure(flat_type))
} else {
mismatch!("Problem with Tag Union")
mismatch!(
"Problem with Tag Union\nThere should be {:?} matching tags, but I only got \n{:?}",
num_shared_tags,
&matching_tags
)
}
}