roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-11-10 18:08:55 +03:00
Code Issues Packages Projects Releases Wiki Activity

Remove deferred obligation for opaques during solving

Browse Source
This commit is contained in:
Ayaz Hafiz 2022-07-25 12:50:56 -04:00
parent c1dbffdad9
commit c0d26226dd
No known key found for this signature in database
GPG Key ID: 0E2A37416A25EF58
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
crates/compiler/solve/src/solve.rs
View File

@ -1767,10 +1767,6 @@ fn check_ability_specialization(
let specialization =
MemberSpecializationInfo::new(symbol, specialization_lambda_sets);
// Make sure we check that the opaque has specialized all members of the
// ability, after we finish solving the module.
deferred_obligations
.add(must_implement_ability, AbilityImplError::IncompleteAbility);
// This specialization dominates any derives that might be present.
deferred_obligations.dominate(
RequestedDeriveKey {