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 clipboardFeb 4, 2020

+1,428-835

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

• Point at Sized bound

  estebank

  committed
  1c9242f

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

  estebank

  committed
  d72bcdb

• fix test

  estebank

  committed
  0eb29d1

• review comments

  estebank

  committed
  d137b7a

• Tweak Self: Sized restriction diagnostic output

  estebank

  committed
  4b2f1db

• Point at the Sized obligation in where clauses

  estebank

  committed
  972ae5a

• Point at return type obligations instead of at fn ident

  estebank

  committed
  8d48597

• Use more accurate failed predicate spans

  estebank

  committed
  6870f79

• Slight rewording of diagnostic message

  estebank

  committed
  144e259

• Remove duplicated code

  estebank

  committed
  132921b

• review comments

  estebank

  committed
  06fea92

• Point at Sized requirements

  Show description for 3ca1c5d
  estebank

  committed
  3ca1c5d

• Wording changes to object unsafe trait errors

  Show description for 413bfa4
  estebank

  committed
  413bfa4

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

  estebank

  committed
  a52ec87

• add tests for structured suggestion

  estebank

  committed
  542130b

• Suggest ?Sized on type parameters

  estebank

  committed
  cb6dfea

• Remove duplicated code

  estebank

  committed
  d216b73

• Account for ?Sized type parameter bounds

  estebank

  committed
  342db71

• fix rebase

  estebank

  committed
  16d935e

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

  estebank

  committed
  865216b

• Deal with spans showing std lib

  Show description for b9c125a
  estebank

  committed
  b9c125a

Commits on Feb 3, 2020

• Change wording for object unsafe because of assoc const

  estebank

  committed
  0e58411