language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-25 04:52:32 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Resolve runtime error todo

Browse source
This commit is contained in:
Ayaz Hafiz 2022-11-07 16:59:15 -06:00
parent f0534fc770
commit b85465d74d
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 1 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
crates/compiler/constrain/src/expr.rs
View file

@ -1445,10 +1445,7 @@ pub fn constrain_expr(
// Instead, trivially equate the expected type to itself. This will never yield
// unification errors but it will catch errors in type translation, including ability
// obligations.
// TODO: simpl
let expected = constraints.expectations[expected.index()].clone();
let trivial_type = *expected.get_type_ref();
let expected = constraints.push_expected_type(expected);
let trivial_type = *constraints.expectations[expected.index()].get_type_ref();
constraints.equal_types(trivial_type, expected, Category::Unknown, region)
}
}