language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-03 16:44:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Add solve test for aliasing ability

Browse source
This commit is contained in:
Ayaz Hafiz 2022-04-14 17:25:44 -04:00
parent 8694ea9d33
commit 8f335c3278
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 23 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/solve/src/ability.rs
View file

@ -168,7 +168,10 @@ pub fn type_implementing_member(
.collect::<Vec<_>>();
ability_implementations_for_specialization.dedup();
debug_assert!(ability_implementations_for_specialization.len() == 1, "Multiple variables bound to an ability - this is ambiguous and should have been caught in canonicalization");
debug_assert!(
ability_implementations_for_specialization.len() == 1,
"Multiple variables bound to an ability - this is ambiguous and should have been caught in canonicalization: {:?}",
ability_implementations_for_specialization);
ability_implementations_for_specialization
.pop()