From: bors <bors@rust-lang.org>
Date: Fri, 27 Aug 2021 21:35:08 +0000 (+0000)
Subject: Auto merge of #88328 - fee1-dead:not-quite-const, r=oli-obk
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=ac50a53359328a5d7f2f558833e63d59d372e4f7;p=rust.git

Auto merge of #88328 - fee1-dead:not-quite-const, r=oli-obk

Introduce `~const`

 - [x] Removed `?const` and change uses of `?const`
 - [x] Added `~const` to the AST. It is gated behind const_trait_impl.
 - [x] Validate `~const` in ast_validation.
 - [x] Update UI Tests
 - [x] Add enum `BoundConstness` (With variants `NotConst` and
 `ConstIfConst` allowing future extensions)
 - [x] Adjust trait selection and pre-existing code to use `BoundConstness`.
 - [ ] Optional steps for this PR
      - [x] Fix #88155
      - [x] ~~Do something with constness bounds in chalk~~ Must be done to rust-lang/chalk (just tried to refactor, there are a lot of errors to resolve :( )
      - [ ] Adjust Error messages for `~const` bounds that can't be satisfied.

r? `@oli-obk`
---

ac50a53359328a5d7f2f558833e63d59d372e4f7