diff options
author | Florian Diebold <[email protected]> | 2021-05-13 19:31:06 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-05-21 16:48:34 +0100 |
commit | afa6be243587e523d5a2fc218db78568041ff296 (patch) | |
tree | 7e2fae0c138e3031b3f3530073f80399159964d5 /crates/hir_ty/src/infer | |
parent | 3379a52dffc2d0951892edd93233b8069395de61 (diff) |
Update tests with expected changes
Diffstat (limited to 'crates/hir_ty/src/infer')
-rw-r--r-- | crates/hir_ty/src/infer/unify.rs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/crates/hir_ty/src/infer/unify.rs b/crates/hir_ty/src/infer/unify.rs index 896d084f4..e7718aa22 100644 --- a/crates/hir_ty/src/infer/unify.rs +++ b/crates/hir_ty/src/infer/unify.rs | |||
@@ -295,7 +295,6 @@ impl<'a> InferenceTable<'a> { | |||
295 | |ty, _| match ty.kind(&Interner) { | 295 | |ty, _| match ty.kind(&Interner) { |
296 | &TyKind::InferenceVar(tv, kind) => { | 296 | &TyKind::InferenceVar(tv, kind) => { |
297 | if tv_stack.contains(&tv) { | 297 | if tv_stack.contains(&tv) { |
298 | cov_mark::hit!(type_var_cycles_resolve_as_possible); | ||
299 | // recursive type | 298 | // recursive type |
300 | return self.type_variable_table.fallback_value(tv, kind); | 299 | return self.type_variable_table.fallback_value(tv, kind); |
301 | } | 300 | } |
@@ -366,7 +365,6 @@ mod resolve { | |||
366 | ) -> Fallible<Ty> { | 365 | ) -> Fallible<Ty> { |
367 | let var = self.var_unification_table.inference_var_root(var); | 366 | let var = self.var_unification_table.inference_var_root(var); |
368 | if self.var_stack.contains(&var) { | 367 | if self.var_stack.contains(&var) { |
369 | cov_mark::hit!(type_var_cycles_resolve_as_possible); | ||
370 | // recursive type | 368 | // recursive type |
371 | let default = self.type_variable_table.fallback_value(var, kind).cast(&Interner); | 369 | let default = self.type_variable_table.fallback_value(var, kind).cast(&Interner); |
372 | return Ok((self.fallback)(var, VariableKind::Ty(kind), default, outer_binder) | 370 | return Ok((self.fallback)(var, VariableKind::Ty(kind), default, outer_binder) |
@@ -403,7 +401,6 @@ mod resolve { | |||
403 | .intern(&Interner) | 401 | .intern(&Interner) |
404 | .cast(&Interner); | 402 | .cast(&Interner); |
405 | if self.var_stack.contains(&var) { | 403 | if self.var_stack.contains(&var) { |
406 | cov_mark::hit!(type_var_cycles_resolve_as_possible); | ||
407 | // recursive | 404 | // recursive |
408 | return Ok((self.fallback)(var, VariableKind::Const(ty), default, outer_binder) | 405 | return Ok((self.fallback)(var, VariableKind::Const(ty), default, outer_binder) |
409 | .assert_const_ref(&Interner) | 406 | .assert_const_ref(&Interner) |