]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #88328 - fee1-dead:not-quite-const, r=oli-obk
authorbors <bors@rust-lang.org>
Fri, 27 Aug 2021 21:35:08 +0000 (21:35 +0000)
committerbors <bors@rust-lang.org>
Fri, 27 Aug 2021 21:35:08 +0000 (21:35 +0000)
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`


Trivial merge