Esteban Küber
ff75395ca8
Reword message
2020-07-14 12:19:50 -07:00
Esteban Küber
c38b127d84
Remove redundant explanatory note for type parameters
2020-07-14 12:19:44 -07:00
Esteban Küber
b7db6bb5af
Remove Sized on_unimplemented note
2020-07-14 10:50:24 -07:00
Esteban Küber
28e6f1f5b9
Suggest boxing or borrowing unsized fields
2020-07-14 10:50:24 -07:00
Esteban Küber
aa84b0fa37
Provide help when T: ?Sized can't be suggested
2020-06-16 17:24:16 -07:00
Esteban Küber
d2b8e6090c
Account for derived obligations to suggest ?Sized bound
...
Fix #27964 .
2020-06-15 19:46:27 -07:00
Wesley Wiser
1474face6f
Add regression test for #26376
2020-04-24 21:02:00 -04:00
Esteban Küber
ce936e9336
Do not emit note for projected derived obligations
2020-04-18 16:37:08 -07:00
Esteban Küber
ad1c23c993
Maintain chain of derived obligations
...
When evaluating the derived obligations from super traits, maintain a
reference to the original obligation in order to give more actionable
context in the output.
2020-04-18 16:37:08 -07:00
Esteban Küber
d605a9d969
Small tweaks to required bound span
2020-04-08 14:40:51 -07:00
Esteban Küber
bd7ea5441e
Use PredicateObligations instead of Predicates
...
Keep more information about trait binding failures.
2020-04-08 14:40:45 -07:00
Esteban Küber
342db717e2
Account for ?Sized type parameter bounds
2020-02-02 11:53:10 -08:00
Janusz Marcinkiewicz
6f70803e7e
Fix pointing at arg for fulfillment errors in function calls
2019-11-24 15:26:09 +01:00
Esteban Küber
5b7ffd9333
Handle more cases
2019-10-15 13:55:43 -07:00
Esteban Küber
190589f8a7
Use structured suggestion for restricting bounds
...
When a trait bound is not met and restricting a type parameter would
make the restriction hold, use a structured suggestion pointing at an
appropriate place (type param in param list or `where` clause).
Account for opaque parameters where instead of suggesting extending
the `where` clause, we suggest appending the new restriction:
`fn foo(impl Trait + UnmetTrait)`.
2019-10-15 13:55:43 -07:00
Esteban Küber
4be51c879e
Point at type param when it's cause of unfulfilled obligation
2019-09-22 11:33:13 -07:00
Esteban Küber
b370c111fd
On obligation errors point at the unfulfilled binding when possible
2019-09-22 11:33:12 -07:00
Esteban Küber
444bc3ca66
Use span label instead of note for cause in E0631
2019-08-31 00:14:23 -07:00
memoryruins
eb4580a570
Update ui test suite to use dyn
2019-05-29 00:57:31 -04:00
varkor
7f0f0e31ec
Remove double trailing newlines
2019-04-22 16:57:01 +01:00
Corey Farwell
d2c91a1a6d
Fix broken links to second edition TRPL.
...
Fixes https://github.com/rust-lang/rust/issues/57104 .
2019-01-01 12:53:07 -05:00
Mark Rousskov
2a663555dd
Remove licenses
2018-12-25 21:08:33 -07:00
David Wood
3fc7ab2373
Merged migrated compile-fail tests and ui tests. Fixes #46841 .
2018-08-14 11:12:09 +02:00
