diff options
| author | bors <bors@rust-lang.org> | 2019-12-15 01:28:28 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-12-15 01:28:28 +0000 |
| commit | fc6b5d6efe163060bde31cc1c801086ed7ebc8f1 (patch) | |
| tree | af12b3b107ab3059dc240c1a913e9b8068ed0577 /src/libsyntax_pos | |
| parent | 6f829840f7e5897745bc7b5ff951b006a2c4e0e3 (diff) | |
| parent | faa52d1cdaa8806201d56484df0c45bf550bf565 (diff) | |
Auto merge of #67216 - ecstatic-morse:const-loop, r=oli-obk
Enable `loop` and `while` in constants behind a feature flag This PR is an initial implementation of #52000. It adds a `const_loop` feature gate, which allows `while` and `loop` expressions through both HIR and MIR const-checkers if enabled. `for` expressions remain forbidden by the HIR const-checker, since they desugar to a call to `IntoIterator::into_iter`, which will be rejected anyways. `while` loops also require [`#![feature(const_if_match)]`](https://github.com/rust-lang/rust/pull/66507), since they have a conditional built into them. The diagnostics from the HIR const checker will suggest this to the user. r? @oli-obk cc @rust-lang/wg-const-eval
Diffstat (limited to 'src/libsyntax_pos')
| -rw-r--r-- | src/libsyntax_pos/symbol.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libsyntax_pos/symbol.rs b/src/libsyntax_pos/symbol.rs index c7e4182de6b..ae34064c926 100644 --- a/src/libsyntax_pos/symbol.rs +++ b/src/libsyntax_pos/symbol.rs @@ -213,6 +213,7 @@ symbols! { const_indexing, const_in_array_repeat_expressions, const_let, + const_loop, const_mut_refs, const_panic, const_raw_ptr_deref, |