Code

Tweak obligation error output#68377

Code

Merged

bors merged 23 commits intorust-lang:masterrust-lang/rust:masterfrom

estebank:fn-obligations-spansestebank/rust:fn-obligations-spansCopy head branch name to clipboard

Feb 4, 2020

Commits

Commits on Feb 2, 2020

• Point at arguments or output when fn obligations come from them, or ident when they don't

  estebank

  committed
  fca5c64

  Copy full SHA for fca5c64

• Point at `Sized` bound

  estebank

  committed
  1c9242f

  Copy full SHA for 1c9242f

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

  estebank

  committed
  d72bcdb

  Copy full SHA for d72bcdb

• fix test

  estebank

  committed
  0eb29d1

  Copy full SHA for 0eb29d1

• review comments

  estebank

  committed
  d137b7a

  Copy full SHA for d137b7a

• Tweak `Self: Sized` restriction diagnostic output

  estebank

  committed
  4b2f1db

  Copy full SHA for 4b2f1db

• Point at the `Sized` obligation in `where` clauses

  estebank

  committed
  972ae5a

  Copy full SHA for 972ae5a

• Point at return type obligations instead of at `fn` ident

  estebank

  committed
  8d48597

  Copy full SHA for 8d48597

• Use more accurate failed predicate spans

  estebank

  committed
  6870f79

  Copy full SHA for 6870f79

• Slight rewording of diagnostic message

  estebank

  committed
  144e259

  Copy full SHA for 144e259

• Remove duplicated code

  estebank

  committed
  132921b

  Copy full SHA for 132921b

• review comments

  estebank

  committed
  06fea92

  Copy full SHA for 06fea92

• Point at `Sized` requirements

  Show description for 3ca1c5d
  estebank

  committed
  3ca1c5d

  Copy full SHA for 3ca1c5d

• Wording changes to object unsafe trait errors

  Show description for 413bfa4
  estebank

  committed
  413bfa4

  Copy full SHA for 413bfa4

• Use more appropriate spans on object unsafe traits and provide structured suggestions when possible

  estebank

  committed
  a52ec87

  Copy full SHA for a52ec87

• add tests for structured suggestion

  estebank

  committed
  542130b

  Copy full SHA for 542130b

• Suggest `?Sized` on type parameters

  estebank

  committed
  cb6dfea

  Copy full SHA for cb6dfea

• Remove duplicated code

  estebank

  committed
  d216b73

  Copy full SHA for d216b73

• Account for `?Sized` type parameter bounds

  estebank

  committed
  342db71

  Copy full SHA for 342db71

• fix rebase

  estebank

  committed
  16d935e

  Copy full SHA for 16d935e

• Point at reason in object unsafe trait with `Self` in supertraits or `where`-clause

  estebank

  committed
  865216b

  Copy full SHA for 865216b

• Deal with spans showing `std` lib

  Show description for b9c125a
  estebank

  committed
  b9c125a

  Copy full SHA for b9c125a

Commits on Feb 3, 2020

• Change wording for object unsafe because of assoc const

  estebank

  committed
  0e58411

  Copy full SHA for 0e58411