Samy Kacimi
e5e1397adb
normalize use of backticks in compiler messages for librustc/lint
...
https://github.com/rust-lang/rust/issues/60532
2019-07-17 22:49:48 +02:00
Felix S. Klock II
fa0809d3cd
Regression test for issue 30786.
2019-07-10 16:43:19 +02:00
Matthew Jasper
ff71b80a85
Change compare mode to use -Zborrowck=mir
2019-05-12 18:46:43 +01:00
Matthew Jasper
8eef102270
update tests for migrate mode by default
2019-04-22 08:40:08 +01:00
Mathias Blikstad
faed3a2b19
Updated UI test output to remove test annotations for revisions
2019-03-17 17:00:18 +01:00
Vadim Petrochenkov
c1cfacfb13
Update NLL tests
2019-03-11 23:18:35 +03:00
Vadim Petrochenkov
fa72a81bea
Update tests
2019-03-11 23:10:26 +03:00
Niko Matsakis
21e9478366
update test files to reflect new output
...
One surprise: old-lub-glb-object.rs, may indicate a bug
2019-02-21 11:32:17 -05:00
Niko Matsakis
561ce442de
restore the actual leak-check
2019-02-21 11:32:17 -05:00
Felix S. Klock II
9661ee6af4
fix tests post-rebase
2019-02-15 15:52:29 +01:00
Rémy Rakic
c97d135452
Refer to synthetically named lifetimes as "some specific lifetime" rather than "the specific lifetime"
2019-01-28 23:12:13 +01:00
Rémy Rakic
489bc4a2c6
When mentioning lifetimes, put either the trait ref or the self type closer to the lifetimes
...
When mentioning lifetimes, only invert wording between the expected trait and the self type when the self type has the vid.
This way, the lifetimes always stay close to the self type or trait ref that actually contains them.
2019-01-27 10:52:45 +01:00
Remy Rakic
a79f135be6
Update test expectations for new placeholder error messages
2019-01-27 10:52:43 +01:00
lqd
ce61b1b9fa
Update two E308 tests to the new placeholder error
2019-01-27 10:52:42 +01:00
Niko Matsakis
1db7193162
address tmandry nits
2019-01-02 17:35:06 -05:00
Niko Matsakis
bc4404c0b5
improve handling for subtype
...
Still not great, but good enough to land this PR.
2019-01-02 17:35:06 -05:00
Niko Matsakis
a24e04dff6
say "the lifetime" instead of "some lifetime" when it feels right
...
In particular, when we want to indicate that there is a connection
between the self type and the other types.
2019-01-02 17:35:06 -05:00
Niko Matsakis
7bc3f5585a
apply the same logic to ConcreteFailure errors
2019-01-02 17:35:06 -05:00
Niko Matsakis
6cbbee1dc7
apply the new placeholder errors even with just one placeholder
2019-01-02 17:35:06 -05:00
Niko Matsakis
0a61d682a1
introduce placeholder-placeholder errors for trait matching
2019-01-02 17:35:06 -05:00
Niko Matsakis
d3c96ff152
tests: worse diagnostics, but basically same errors
2019-01-02 17:35:05 -05:00
Niko Matsakis
652fd2efdf
add tests exercising exists<'a> { forall<'b> { .. } } pattern
...
Amazingly, this scenario was not tested for trait matching.
2019-01-02 17:35:05 -05:00
Niko Matsakis
4b5f274f90
make evaluation track whether outlives relationships mattered
...
Previously, evaluation ignored outlives relationships. Since we using
evaluation to skip the "normal" trait selection (which enforces
outlives relationships) this led to incorrect results in some cases.
2019-01-02 17:35:05 -05:00
Mark Rousskov
2a663555dd
Remove licenses
2018-12-25 21:08:33 -07:00
Matthew Jasper
bc4f9b848d
Clearer later use messages for calls
...
Give a special message when the later use is from a call. Use the span
of the callee instead of the whole expression. For conflicting borrow
messages say that the later use is of the first borrow.
2018-10-03 20:32:38 +01:00
David Wood
3fc7ab2373
Merged migrated compile-fail tests and ui tests. Fixes #46841 .
2018-08-14 11:12:09 +02:00
