language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 06:14:46 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Comment

Browse source
This commit is contained in:
Ayaz Hafiz 2022-04-12 17:23:03 -04:00
parent 5171e3964d
commit 462f443956
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
compiler/solve/src/solve.rs
View file

@ -1224,7 +1224,8 @@ fn check_ability_specialization(
.get_var_by_symbol(&root_symbol)
.expect("Ability should be registered in env by now!");
// Check if they unify - if they don't, that's a type error!
// Check if they unify - if they don't, then the claimed specialization isn't really one,
// and that's a type error!
let snapshot = subs.snapshot();
let unified = unify(subs, symbol_loc_var.value, root_signature_var, Mode::EQ);