Niko Matsakis
f87189dd3c
update tests and add stderr files
2018-09-26 09:38:26 -04:00
Niko Matsakis
689b791422
use approx. bounds to decide whether to add outlives obligations
...
Before, if we had a projection like `<T as Foo<'0>>::Bar: 'x` and a
where clause like `<T as Foo<'a>>::Bar: 'a`, we considered those to
have nothing to do with one another. Therefore, we would use the
"overconstrained" path of adding `T: 'x` and `'0: 'x` requirements. We
now do a "fuzzy" match where we erase regions first and hence we see
the env bound `'a`.
2018-09-26 09:38:26 -04:00
Matthew Jasper
bd0895d7d0
Update ui tests
2018-09-19 20:50:09 +01:00
Niko Matsakis
bb8c4c0db9
print less info to stabilize tests
2018-09-07 17:24:46 -04:00
Wesley Wiser
b1211e8703
Fix tests
2018-09-06 22:57:05 -04:00
Basile Desloges
b01550a718
Update tests
2018-09-01 12:58:18 +02:00
David Wood
2488cb6b10
Explicitly label any named lifetimes mentioned in error messages.
2018-08-02 12:00:15 +02:00
Felix S. Klock II
6787e25c29
Blindly update the #[rustc_region] tests which got touched by the NLL diagnostic change.
2018-07-31 14:35:43 +02:00
Mikhail Modin
bb66d70b89
fix issues #51351 and #52133
2018-07-29 11:42:50 +01:00
Niko Matsakis
727f01700b
write code to extract region names and emit new style message
2018-07-04 05:09:33 -04:00
David Wood
a11245f80e
Ensure that changed errors are lower case.
2018-07-01 16:14:25 +01:00
David Wood
59e64e9085
Updated affected tests.
2018-07-01 16:14:25 +01:00
Christian Poveda
4bf35f93c9
updated stderr files and removed feature-gate test for dyn_trait
2018-04-27 10:05:51 -05:00
Niko Matsakis
45d281d7fa
remove -Znll -- borrowck=mir implies nll now
2018-04-15 07:13:42 -04:00
Guillaume Gomez
2e104a77cf
update tests
2018-03-14 00:53:24 +01:00
Vadim Petrochenkov
9f9183d34d
Fix rebase
2018-02-26 21:20:31 +03:00
Vadim Petrochenkov
fa2d9fc4b9
Update UI tests
2018-02-26 20:24:02 +03:00
Guillaume Gomez
5747fd6611
Update ui tests
2018-02-25 12:15:05 +01:00
Niko Matsakis
2370b60529
update tests and reference files
...
The type checker invokes the borrow checker for closures it finds, so
removing the NLL type checker affects ordering of errors somewhat.
2018-02-23 10:40:57 -05:00
Jonas Platte
78493ed21a
Add GenericParam, refactor Generics in ast, hir, rustdoc
...
The Generics now contain one Vec of an enum for the generic parameters,
rather than two separate Vec's for lifetime and type parameters.
Additionally, places that previously used Vec<LifetimeDef> now use
Vec<GenericParam> instead.
2017-12-21 13:38:10 +01:00
Niko Matsakis
508a831dca
use report_generic_bound_failure when we can in the compiler
2017-12-20 14:38:12 -05:00
Niko Matsakis
6b39781df6
connect NLL machinery to the NiceRegionError code
2017-12-20 14:38:12 -05:00
Niko Matsakis
4f43c5b1e7
stop dumping DefPath into "failed type test" errors
...
The prior messages were not stable across platforms.
2017-12-15 17:04:48 -05:00
Niko Matsakis
3fcb13ae45
handle projections with regions
2017-12-15 10:27:52 -05:00
