diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2020-06-08 23:22:10 +0000 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2020-06-22 18:51:08 +0000 |
| commit | d57689f9cde9a7066ffc8ca1125ea7e0d23df2c5 (patch) | |
| tree | 1750f1fee2fb9c19d965b8a72ea2adc356b819f9 | |
| parent | 6929013b850db7c8ac55de4bcd0df8310ddb788b (diff) | |
| download | rust-d57689f9cde9a7066ffc8ca1125ea7e0d23df2c5.tar.gz rust-d57689f9cde9a7066ffc8ca1125ea7e0d23df2c5.zip | |
cite issue 73154
| -rw-r--r-- | src/test/ui/lub-glb/old-lub-glb-hr-noteq2.rs | 12 |
1 files 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 0e069bc6f84..4bdd05b4f92 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 |