From d57689f9cde9a7066ffc8ca1125ea7e0d23df2c5 Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Mon, 8 Jun 2020 23:22:10 +0000 Subject: [PATCH] cite issue 73154 --- src/test/ui/lub-glb/old-lub-glb-hr-noteq2.rs | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/test/ui/lub-glb/old-lub-glb-hr-noteq2.rs b/src/test/ui/lub-glb/old-lub-glb-hr-noteq2.rs index 0e069bc6f84e9..4bdd05b4f92fa 100644 --- a/src/test/ui/lub-glb/old-lub-glb-hr-noteq2.rs +++ b/src/test/ui/lub-glb/old-lub-glb-hr-noteq2.rs @@ -2,12 +2,12 @@ // one is more general than the other. Test the case where the more general type // (`x`) is the second match arm specifically. // -// Skip for compare-mode because the pure NLL checker accepts this test. (Note -// that it still errors in old-lub-glb-hr-noteq1.rs). What happens is that, due -// to the ordering of the match arms, we pick the correct "more general" fn -// type, and we ignore the errors from the non-NLL type checker that requires -// equality. The NLL type checker only requires a subtyping relationship, and -// that holds. +// FIXME(#73154) Skip for compare-mode because the pure NLL checker accepts this +// test. (Note that it still errors in old-lub-glb-hr-noteq1.rs). What happens +// is that, due to the ordering of the match arms, we pick the correct "more +// general" fn type, and we ignore the errors from the non-NLL type checker that +// requires equality. The NLL type checker only requires a subtyping +// relationship, and that holds. // // ignore-compare-mode-nll