diff --git a/compiler/solve/src/solve.rs b/compiler/solve/src/solve.rs index e9a9978cf1..3ddf9c580a 100644 --- a/compiler/solve/src/solve.rs +++ b/compiler/solve/src/solve.rs @@ -949,8 +949,6 @@ fn circular_error( let (error_type, _) = subs.var_to_error_type(var); let problem = TypeError::CircularType(loc_var.region, symbol, error_type); - dbg!("circular error"); - subs.set_content(var, Content::Error); problems.push(problem); diff --git a/compiler/types/src/subs.rs b/compiler/types/src/subs.rs index d6eec3a748..098329b826 100644 --- a/compiler/types/src/subs.rs +++ b/compiler/types/src/subs.rs @@ -1080,14 +1080,7 @@ fn occurs( .iter() .map(|(_, var)| var) .chain(lambda_set_variables.iter().map(|x| x.as_inner())); - let x = short_circuit(subs, root_var, &new_seen, it); - - if let Some(_) = x { - dbg!(symbol, type_arguments, lambda_set_variables); - dbg!(&subs); - } - - x + short_circuit(subs, root_var, &new_seen, it) } } }