File tree 1 file changed +6
-6
lines changed
1 file changed +6
-6
lines changed Original file line number Diff line number Diff line change 2
2
// one is more general than the other. Test the case where the more general type
3
3
// (`x`) is the second match arm specifically.
4
4
//
5
- // Skip for compare-mode because the pure NLL checker accepts this test. (Note
6
- // that it still errors in old-lub-glb-hr-noteq1.rs). What happens is that, due
7
- // to the ordering of the match arms, we pick the correct "more general" fn
8
- // type, and we ignore the errors from the non-NLL type checker that requires
9
- // equality. The NLL type checker only requires a subtyping relationship, and
10
- // that holds.
5
+ // FIXME(#73154) Skip for compare-mode because the pure NLL checker accepts this
6
+ // test. (Note that it still errors in old-lub-glb-hr-noteq1.rs). What happens
7
+ // is that, due to the ordering of the match arms, we pick the correct "more
8
+ // general" fn type, and we ignore the errors from the non-NLL type checker that
9
+ // requires equality. The NLL type checker only requires a subtyping
10
+ // relationship, and that holds.
11
11
//
12
12
// ignore-compare-mode-nll
13
13
You can’t perform that action at this time.
0 commit comments