diff options
author | Florian Diebold <[email protected]> | 2019-01-26 22:57:03 +0000 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2019-01-26 22:59:11 +0000 |
commit | 94bbb2418aa5201ddf2d5faf01f349896303cb82 (patch) | |
tree | 7a90002872ed3a2ea6d6df369519053e277d1a1f /crates/ra_hir/src/ty | |
parent | 77f92674f9a2ea8e8cd303d15710621a4f7839cb (diff) |
Add marks
Diffstat (limited to 'crates/ra_hir/src/ty')
-rw-r--r-- | crates/ra_hir/src/ty/tests.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/crates/ra_hir/src/ty/tests.rs b/crates/ra_hir/src/ty/tests.rs index e34daa0f7..f74d6f5ea 100644 --- a/crates/ra_hir/src/ty/tests.rs +++ b/crates/ra_hir/src/ty/tests.rs | |||
@@ -3,6 +3,7 @@ use std::fmt::Write; | |||
3 | 3 | ||
4 | use ra_db::{SourceDatabase, salsa::Database}; | 4 | use ra_db::{SourceDatabase, salsa::Database}; |
5 | use ra_syntax::ast::{self, AstNode}; | 5 | use ra_syntax::ast::{self, AstNode}; |
6 | use test_utils::covers; | ||
6 | 7 | ||
7 | use crate::{ | 8 | use crate::{ |
8 | source_binder, | 9 | source_binder, |
@@ -564,6 +565,8 @@ fn quux() { | |||
564 | 565 | ||
565 | #[test] | 566 | #[test] |
566 | fn recursive_vars() { | 567 | fn recursive_vars() { |
568 | covers!(type_var_cycles_resolve_completely); | ||
569 | covers!(type_var_cycles_resolve_as_possible); | ||
567 | check_inference( | 570 | check_inference( |
568 | "recursive_vars", | 571 | "recursive_vars", |
569 | r#" | 572 | r#" |
@@ -577,6 +580,8 @@ fn test() { | |||
577 | 580 | ||
578 | #[test] | 581 | #[test] |
579 | fn recursive_vars_2() { | 582 | fn recursive_vars_2() { |
583 | covers!(type_var_cycles_resolve_completely); | ||
584 | covers!(type_var_cycles_resolve_as_possible); | ||
580 | check_inference( | 585 | check_inference( |
581 | "recursive_vars_2", | 586 | "recursive_vars_2", |
582 | r#" | 587 | r#" |