Tweak obligation error output by estebank · Pull Request #68377 · rust-lang/rust

estebank · 2020-01-20T01:29:44Z

Point at arguments or output when fn obligations come from them, or ident when they don't
Point at Sized bound (fixProviding a trait object as a type parameter to a function causes nonsense error #47990)
When object unsafe trait uses itself in associated item suggest using Self (fixSuggest using Self in traits #66424, fixNon trait object safe return diagnostic needs improvement #33375, partially address Special errors for common trait object issues #38376, cc Error when passing a trait object as a generic type doesn't indicate what is the trait object #61525)
Point at reason in object unsafe trait with Self in supertraits or where-clause (cc Dyn compatibility error when using an associated type as a type parameter in the super-trait listing #40533, cc Tweak obligation error output #68377)
On implicit type parameter Sized obligations, suggest ?Sized (fixConfusing error message when passing trait object to generic function #57744, fixbetter error message when using dyn type #46683, fixSuggest ?Sized on generics where applicable #38936)

rust-highfive · 2020-01-20T01:29:49Z

r? @matthewjasper

(rust_highfive has picked a reviewer for you, use r? to override)

estebank · 2020-01-28T18:09:49Z

ping

estebank · 2020-01-30T03:14:03Z

cc @rust-lang/wg-diagnostics just because I'm stoked about the result :D

oli-obk · 2020-01-30T14:09:12Z

The new spans are awesome!

estebank · 2020-01-31T19:05:16Z

@bors try @rust-timer queue

rust-timer · 2020-01-31T19:05:17Z

Awaiting bors try build completion

bors · 2020-01-31T19:05:27Z

⌛ Trying commit 532f7c2ff15169402902ddcca71fc13833c3fe99 with merge 5a6609e6dd45556e226d848cf5f6b92301748bd9...

bors · 2020-01-31T21:51:47Z

☀️ Try build successful - checks-azure
Build commit: 5a6609e6dd45556e226d848cf5f6b92301748bd9 (5a6609e6dd45556e226d848cf5f6b92301748bd9)

rust-timer · 2020-01-31T21:51:49Z

Queued 5a6609e6dd45556e226d848cf5f6b92301748bd9 with parent 5371ddf, future comparison URL.

rust-timer · 2020-02-01T01:45:59Z

Finished benchmarking try commit 5a6609e6dd45556e226d848cf5f6b92301748bd9, comparison URL.

…dent when they don't

… `Self`

Stemming from the thread at https://twitter.com/indygreg/status/1223279056398929920

…ured suggestions when possible

estebank · 2020-02-02T21:11:29Z

Sorry for this PR becoming so big 😬, it's just addressing a bunch of intimately related issues. Each commit builds on the previous one.

…`where`-clause

Address rust-lang#53081

oli-obk

Just a wording, then this lgtm

estebank · 2020-02-03T18:56:51Z

Just a wording, then this lgtm

Is that r=oli-obk? 😅

oli-obk · 2020-02-04T17:12:57Z

@bors r+

yes :D I'll communicate that more clearly next time

bors · 2020-02-04T17:12:59Z

📌 Commit 0e58411 has been approved by oli-obk

bors · 2020-02-04T17:18:02Z

⌛ Testing commit 0e58411 with merge 5b0caef...

Tweak obligation error output - Point at arguments or output when fn obligations come from them, or ident when they don't - Point at `Sized` bound (fix#47990) - When object unsafe trait uses itself in associated item suggest using `Self` (fix#66424, fix#33375, partially address #38376, cc #61525) - Point at reason in object unsafe trait with `Self` in supertraits or `where`-clause (cc #40533, cc #68377) - On implicit type parameter `Sized` obligations, suggest `?Sized` (fix#57744, fix#46683)

bors · 2020-02-04T20:30:45Z

☀️ Test successful - checks-azure
Approved by: oli-obk
Pushing 5b0caef to master...

rust-highfive assigned matthewjasper Jan 20, 2020

rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jan 20, 2020

This comment has been minimized.
Sign in to view

estebank force-pushed the fn-obligations-spans branch from e651f86 to fbb2a90Compare January 20, 2020 03:22

Centril reviewed Jan 20, 2020
View reviewed changes

Comment threadsrc/librustc_typeck/check/wfcheck.rs Outdated

Centril reviewed Jan 20, 2020
View reviewed changes

Comment threadsrc/librustc_typeck/check/wfcheck.rs Outdated

Centril reviewed Jan 20, 2020
View reviewed changes

Comment threadsrc/librustc_typeck/check/wfcheck.rs Outdated

estebank force-pushed the fn-obligations-spans branch from fbb2a90 to 288ffa9Compare January 25, 2020 22:28

estebank force-pushed the fn-obligations-spans branch from ae5611c to de4b03dCompare January 30, 2020 03:12

oli-obk reviewed Jan 30, 2020
View reviewed changes

Comment threadsrc/librustc_typeck/check/wfcheck.rs Outdated
Comment threadsrc/librustc/traits/object_safety.rs Outdated
Comment threadsrc/test/ui/issues/issue-20692.stderr Outdated
Comment threadsrc/test/ui/wf/wf-unsafe-trait-obj-match.stderr Outdated

matthewjasper reviewed Jan 30, 2020
View reviewed changes

Comment threadsrc/librustc/traits/object_safety.rs Outdated
Comment threadsrc/librustc/traits/object_safety.rs Outdated
Comment threadsrc/librustc_typeck/check/wfcheck.rs Outdated
Comment threadsrc/librustc_typeck/check/wfcheck.rs Outdated

This was referenced Feb 1, 2020
Error when passing a trait object as a generic type doesn't indicate what is the trait object #61525
Closed
Special errors for common trait object issues #38376
Closed

This comment has been minimized.
Sign in to view

estebank force-pushed the fn-obligations-spans branch from a218555 to 009dc5fCompare February 2, 2020 10:32

This comment has been minimized.
Sign in to view

estebank added 3 commits February 2, 2020 11:52

Point at arguments or output when fn obligations come from them, or i…
fca5c64
…dent when they don't

Point at Sized bound
1c9242f

When object unsafe trait uses itself in associated item suggest using…
d72bcdb
… `Self`

estebank added 6 commits February 2, 2020 11:53

Wording changes to object unsafe trait errors
413bfa4
Stemming from the thread at https://twitter.com/indygreg/status/1223279056398929920

Use more appropriate spans on object unsafe traits and provide struct…
a52ec87
…ured suggestions when possible

add tests for structured suggestion
542130b

Suggest ?Sized on type parameters
cb6dfea

Remove duplicated code
d216b73

Account for ?Sized type parameter bounds
342db71

estebank force-pushed the fn-obligations-spans branch from 009dc5f to 342db71Compare February 2, 2020 19:56

fix rebase
16d935e

estebank mentioned this pull request Feb 2, 2020
Dyn compatibility error when using an associated type as a type parameter in the super-trait listing #40533
Open

Point at reason in object unsafe trait with Self in supertraits or …
865216b
…`where`-clause

estebank force-pushed the fn-obligations-spans branch from 34990c8 to 865216bCompare February 2, 2020 21:46

Deal with spans showing std lib
b9c125a
Address rust-lang#53081

estebank mentioned this pull request Feb 2, 2020
Note where implicit Sized requirement comes from #27964
Closed

oli-obk approved these changes Feb 3, 2020
View reviewed changes

Comment threadsrc/test/ui/associated-const/associated-const-in-trait.stderr Outdated

Change wording for object unsafe because of assoc const
0e58411

estebank force-pushed the fn-obligations-spans branch from 5439b6e to 0e58411Compare February 3, 2020 18:54

bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Feb 4, 2020

bors added the merged-by-bors This PR was explicitly merged by bors. label Feb 4, 2020

bors mentioned this pull request Feb 4, 2020
Improve reporting errors and suggestions for trait bounds #67665
Merged

bors merged commit 0e58411 into rust-lang:masterFeb 4, 2020

bors mentioned this pull request Feb 4, 2020
Tweak impl signature mismatch errors involving RegionKind::ReVar lifetimes #67460
Merged

estebank mentioned this pull request Feb 5, 2020
Suggest ?Sized on generics where applicable #38936
Closed

Uh oh!

Uh oh!

Conversation

estebank commented Jan 20, 2020• edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

rust-highfive commented Jan 20, 2020

Uh oh!

This comment has been minimized.

Uh oh!

Uh oh!

Uh oh!

estebank commented Jan 28, 2020

Uh oh!

estebank commented Jan 30, 2020

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

oli-obk commented Jan 30, 2020

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

estebank commented Jan 31, 2020

Uh oh!

rust-timer commented Jan 31, 2020

Uh oh!

bors commented Jan 31, 2020

Uh oh!

bors commented Jan 31, 2020

Uh oh!

rust-timer commented Jan 31, 2020

Uh oh!

rust-timer commented Feb 1, 2020

Uh oh!

This comment has been minimized.

This comment has been minimized.

estebank commented Feb 2, 2020

Uh oh!

oli-obk left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

estebank commented Feb 3, 2020

Uh oh!

oli-obk commented Feb 4, 2020

Uh oh!

bors commented Feb 4, 2020

Uh oh!

bors commented Feb 4, 2020

Uh oh!

bors commented Feb 4, 2020

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

7 participants

estebank commented Jan 20, 2020•
edited
Loading