From 94bbb2418aa5201ddf2d5faf01f349896303cb82 Mon Sep 17 00:00:00 2001
From: Florian Diebold <flodiebold@gmail.com>
Date: Sat, 26 Jan 2019 23:57:03 +0100
Subject: Add marks

---
 crates/ra_hir/src/ty/tests.rs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'crates/ra_hir/src/ty')

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;
 
 use ra_db::{SourceDatabase, salsa::Database};
 use ra_syntax::ast::{self, AstNode};
+use test_utils::covers;
 
 use crate::{
     source_binder,
@@ -564,6 +565,8 @@ fn quux() {
 
 #[test]
 fn recursive_vars() {
+    covers!(type_var_cycles_resolve_completely);
+    covers!(type_var_cycles_resolve_as_possible);
     check_inference(
         "recursive_vars",
         r#"
@@ -577,6 +580,8 @@ fn test() {
 
 #[test]
 fn recursive_vars_2() {
+    covers!(type_var_cycles_resolve_completely);
+    covers!(type_var_cycles_resolve_as_possible);
     check_inference(
         "recursive_vars_2",
         r#"
-- 
cgit v1.2.3