From f9cc5a65d24270fac44a7ccf709d7a7efd7b525d Mon Sep 17 00:00:00 2001
From: Mazdak Farrokhzad <twingoow@gmail.com>
Date: Fri, 10 May 2019 19:55:52 +0200
Subject: [PATCH] check_match: add FIXME for removing of hack.

---
 src/librustc_typeck/check/_match.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/librustc_typeck/check/_match.rs b/src/librustc_typeck/check/_match.rs
index e8af2f40b87a..a69f639e8941 100644
--- a/src/librustc_typeck/check/_match.rs
+++ b/src/librustc_typeck/check/_match.rs
@@ -615,6 +615,8 @@ https://doc.rust-lang.org/reference/types.html#trait-objects");
             //    `if` expression. E.g. given `fn foo() -> &bool;` we reject `if foo() { .. }`.
             //
             // 2. By expecting `bool` for `expr` we get nice diagnostics for e.g. `if x = y { .. }`.
+            //
+            // FIXME(60707): Consider removing hack with principled solution.
             self.check_expr_has_type_or_error(discrim, self.tcx.types.bool)
         } else {
             self.demand_discriminant_type(arms, discrim)