Repository navigation

Const drop - #88558

Merged

bors merged 16 commits into

rust-lang:masterfrom

fee1-dead-contrib:const-drop

Sep 15, 2021

Merged

Const drop#88558
bors merged 16 commits into
rust-lang:masterfrom
fee1-dead-contrib:const-drop

Commits on Sep 9, 2021
- cleanup hir hack
  fee1-dead
  committed
  9c1a916
- Remove unused query
  fee1-dead
  committed
  d9797d2
- Const dropping
  fee1-dead
  committed
  104e40f
- Do not lint for ~const Drop bounds
  fee1-dead
  committed
  9125fbf
- Add a simple test case
  fee1-dead
  committed
  f6f5180
- fmt
  fee1-dead
  committed
  48a3ba9
- better test
  fee1-dead
  committed
  894ce92
- Const drop selection candidates
  fee1-dead
  committed
  a13b13f
- Failing test
  fee1-dead
  committed
  4eab5c1
- fmt
  fee1-dead
  committed
  f0a5212
- Use trait select logic instead of query
  fee1-dead
  committed
  1ca83c6
- Remove the queries
  fee1-dead
  committed
  8211728
- do not require lang item
  fee1-dead
  committed
  122e91e
- fix precise live drops
  fee1-dead
  committed
  49ac725
- Add another test case + fmt
  fee1-dead
  committed
  146abdd
- Allow ~const bounds on inherent impls
  fee1-dead
  committed
  f749e05