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

Add some internal error assertions

Browse source
This commit is contained in:
Ayaz Hafiz 2022-05-07 21:00:28 -04:00 • committed by ayazhafiz
parent d0bd08dbe0
commit 2cacda00eb
1 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1966,10 +1966,8 @@ fn type_to_variable<'a>(
match *subs.get_content_without_compacting(var) { match *subs.get_content_without_compacting(var) {
FlexVar(opt_name) => subs FlexVar(opt_name) => subs
.set_content(var, FlexAbleVar(opt_name, *ability)), .set_content(var, FlexAbleVar(opt_name, *ability)),
RigidVar(name) => subs.set_content( RigidVar(..) => internal_error!("Rigid var in type arg for {:?} - this is a bug in the solver, or our understanding", actual),
var, RigidAbleVar(..) | FlexAbleVar(..) => internal_error!("Able var in type arg for {:?} - this is a bug in the solver, or our understanding", actual),
FlexAbleVar(Some(name), *ability),
),
_ => { _ => {
// TODO associate the type to the bound ability, and check // TODO associate the type to the bound ability, and check
// that it correctly implements the ability. // that it correctly implements the ability.