mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

cite issue 73154

Browse Source
This commit is contained in:
Niko Matsakis 2020-06-08 23:22:10 +00:00
parent 6929013b85
commit d57689f9cd
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/test/ui/lub-glb/old-lub-glb-hr-noteq2.rs
View File

@ -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