From 0e9d1e17d6e45b44ec1a8f1430109cfc75e41241 Mon Sep 17 00:00:00 2001
From: Roland Ruckerbauer <roland.rucky@gmail.com>
Date: Wed, 14 Oct 2020 19:00:04 +0200
Subject: binary operator overload type inference: add test mark

---
 crates/hir_ty/src/infer/expr.rs   | 3 +++
 crates/hir_ty/src/tests/simple.rs | 3 +++
 2 files changed, 6 insertions(+)

(limited to 'crates')

diff --git a/crates/hir_ty/src/infer/expr.rs b/crates/hir_ty/src/infer/expr.rs
index 8cc0d56d3..8ac4cf89a 100644
--- a/crates/hir_ty/src/infer/expr.rs
+++ b/crates/hir_ty/src/infer/expr.rs
@@ -12,6 +12,7 @@ use hir_def::{
 };
 use hir_expand::name::{name, Name};
 use syntax::ast::RangeOp;
+use test_utils::mark;
 
 use crate::{
     autoderef, method_resolution, op,
@@ -537,6 +538,8 @@ impl<'a> InferenceContext<'a> {
                     let ret = op::binary_op_return_ty(*op, lhs_ty.clone(), rhs_ty.clone());
 
                     if ret == Ty::Unknown {
+                        mark::hit!(infer_expr_inner_binary_operator_overload);
+
                         self.resolve_associated_type_with_params(
                             lhs_ty,
                             self.resolve_binary_op_output(op),
diff --git a/crates/hir_ty/src/tests/simple.rs b/crates/hir_ty/src/tests/simple.rs
index a3ae304a1..4f72582b6 100644
--- a/crates/hir_ty/src/tests/simple.rs
+++ b/crates/hir_ty/src/tests/simple.rs
@@ -1,4 +1,5 @@
 use expect_test::expect;
+use test_utils::mark;
 
 use super::{check_infer, check_types};
 
@@ -2228,6 +2229,8 @@ fn generic_default_depending_on_other_type_arg_forward() {
 
 #[test]
 fn infer_operator_overload() {
+    mark::check!(infer_expr_inner_binary_operator_overload);
+
     check_infer(
         r#"
         struct V2([f32; 2]);
-- 
cgit v1.2.3