Code

Type inference for inline consts#89561

Code

Merged

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

nbdd0121:const_typecknbdd0121/rust:const_typeckCopy head branch name to clipboard

Nov 9, 2021

Commits

Commits on Nov 7, 2021

• Give inline const separate DefKind

  nbdd0121

  committed
  02c1774

  Copy full SHA for 02c1774

• Implement type inference for inline consts

  Show description for 468192a
  nbdd0121

  committed
  468192a

  Copy full SHA for 468192a

• Add unit test for issue 78132

  nbdd0121

  committed
  4acef9a

  Copy full SHA for 4acef9a

• Add unit test for issue 78174

  nbdd0121

  committed
  1d32b20

  Copy full SHA for 1d32b20

• Ensure closure requirements are proven for inline const

  nbdd0121

  committed
  ff055e2

  Copy full SHA for ff055e2

• Add a FIXME note about what's missing

  nbdd0121

  committed
  4060ed7

  Copy full SHA for 4060ed7

• Fix closures within inline const

  nbdd0121

  committed
  d0f59f6

  Copy full SHA for d0f59f6

• Rename functions reflect that inline const is also "typeck_child"

  nbdd0121

  committed
  c4103d4

  Copy full SHA for c4103d4