Skip to content

Commit 3b55ce9

Browse files
workingjubileeworkingjubilee
authored
Rollup merge of rust-lang#131984 - dingxiangfei2009:stabilize-if-let-rescope, r=traviscross,lcnr
Stabilize if_let_rescope Close rust-lang#131154 Tracked by rust-lang#124085
2 parents 90e57a2 + 6d569f7 commit 3b55ce9

20 files changed

+30
-84
lines changed

‎compiler/rustc_feature/src/accepted.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -224,6 +224,8 @@ declare_features! (
224224
(accepted, i128_type, "1.26.0", Some(35118)),
225225
/// Allows the use of `if let` expressions.
226226
(accepted, if_let, "1.0.0", None),
227+
/// Rescoping temporaries in `if let` to align with Rust 2024.
228+
(accepted, if_let_rescope, "CURRENT_RUSTC_VERSION", Some(124085)),
227229
/// Allows top level or-patterns (`p | q`) in `if let` and `while let`.
228230
(accepted, if_while_or_patterns, "1.33.0", Some(48215)),
229231
/// Allows lifetime elision in `impl` headers. For example:

‎compiler/rustc_feature/src/unstable.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -505,8 +505,6 @@ declare_features! (
505505
(unstable, half_open_range_patterns_in_slices, "1.66.0", Some(67264)),
506506
/// Allows `if let` guard in match arms.
507507
(unstable, if_let_guard, "1.47.0", Some(51114)),
508-
/// Rescoping temporaries in `if let` to align with Rust 2024.
509-
(unstable, if_let_rescope, "1.83.0", Some(124085)),
510508
/// Allows `impl Trait` to be used inside associated types (RFC 2515).
511509
(unstable, impl_trait_in_assoc_type, "1.70.0", Some(63063)),
512510
/// Allows `impl Trait` as output type in `Fn` traits in return position of functions.

‎compiler/rustc_hir_analysis/src/check/region.rs

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -464,8 +464,7 @@ fn resolve_expr<'tcx>(visitor: &mut RegionResolutionVisitor<'tcx>, expr: &'tcx h
464464

465465
hir::ExprKind::If(cond, then, Some(otherwise)) => {
466466
let expr_cx = visitor.cx;
467-
let data = if expr.span.at_least_rust_2024() && visitor.tcx.features().if_let_rescope()
468-
{
467+
let data = if expr.span.at_least_rust_2024() {
469468
ScopeData::IfThenRescope
470469
} else {
471470
ScopeData::IfThen
@@ -480,8 +479,7 @@ fn resolve_expr<'tcx>(visitor: &mut RegionResolutionVisitor<'tcx>, expr: &'tcx h
480479

481480
hir::ExprKind::If(cond, then, None) => {
482481
let expr_cx = visitor.cx;
483-
let data = if expr.span.at_least_rust_2024() && visitor.tcx.features().if_let_rescope()
484-
{
482+
let data = if expr.span.at_least_rust_2024() {
485483
ScopeData::IfThenRescope
486484
} else {
487485
ScopeData::IfThen

‎compiler/rustc_lint/src/if_let_rescope.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,6 @@ declare_lint! {
2424
/// ### Example
2525
///
2626
/// ```rust,edition2021
27-
/// #![feature(if_let_rescope)]
2827
/// #![warn(if_let_rescope)]
2928
/// #![allow(unused_variables)]
3029
///
@@ -243,7 +242,7 @@ impl_lint_pass!(
243242

244243
impl<'tcx> LateLintPass<'tcx> for IfLetRescope {
245244
fn check_expr(&mut self, cx: &LateContext<'tcx>, expr: &'tcx hir::Expr<'tcx>) {
246-
if expr.span.edition().at_least_rust_2024() || !cx.tcx.features().if_let_rescope() {
245+
if expr.span.edition().at_least_rust_2024() {
247246
return;
248247
}
249248
if let (Level::Allow, _) = cx.tcx.lint_level_at_node(IF_LET_RESCOPE, expr.hir_id) {

‎compiler/rustc_mir_build/src/thir/cx/expr.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -784,7 +784,7 @@ impl<'tcx> Cx<'tcx> {
784784
if_then_scope: region::Scope {
785785
id: then.hir_id.local_id,
786786
data: {
787-
if expr.span.at_least_rust_2024() && tcx.features().if_let_rescope() {
787+
if expr.span.at_least_rust_2024() {
788788
region::ScopeData::IfThenRescope
789789
} else {
790790
region::ScopeData::IfThen

‎tests/ui/drop/drop_order.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@
44
//@ [edition2021] edition: 2021
55
//@ [edition2024] compile-flags: -Z unstable-options
66
//@ [edition2024] edition: 2024
7+
78
#![feature(let_chains)]
8-
#![cfg_attr(edition2024, feature(if_let_rescope))]
99

1010
use std::cell::RefCell;
1111
use std::convert::TryInto;

‎tests/ui/drop/drop_order_if_let_rescope.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,6 @@
33
//@ compile-flags: -Z validate-mir -Zunstable-options
44

55
#![feature(let_chains)]
6-
#![feature(if_let_rescope)]
76

87
use std::cell::RefCell;
98
use std::convert::TryInto;

‎tests/ui/drop/if-let-rescope-borrowck-suggestions.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
//@ edition: 2024
22
//@ compile-flags: -Z validate-mir -Zunstable-options
33

4-
#![feature(if_let_rescope)]
54
#![deny(if_let_rescope)]
65

76
struct Droppy;

‎tests/ui/drop/if-let-rescope-borrowck-suggestions.stderr

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
error[E0716]: temporary value dropped while borrowed
2-
--> $DIR/if-let-rescope-borrowck-suggestions.rs:22:39
2+
--> $DIR/if-let-rescope-borrowck-suggestions.rs:21:39
33
|
44
LL | do_something(if let Some(value) = Droppy.get_ref() { value } else { &0 });
55
| ^^^^^^ - temporary value is freed at the end of this statement
66
| |
77
| creates a temporary value which is freed while still in use
88
|
99
note: lifetimes for temporaries generated in `if let`s have been shortened in Edition 2024 so that they are dropped here instead
10-
--> $DIR/if-let-rescope-borrowck-suggestions.rs:22:64
10+
--> $DIR/if-let-rescope-borrowck-suggestions.rs:21:64
1111
|
1212
LL | do_something(if let Some(value) = Droppy.get_ref() { value } else { &0 });
1313
| ^
@@ -22,7 +22,7 @@ LL | do_something({ match Droppy.get_ref() { Some(value) => { value } _ =>
2222
| ~~~~~~~ ++++++++++++++++ ~~~~ ++
2323

2424
error[E0716]: temporary value dropped while borrowed
25-
--> $DIR/if-let-rescope-borrowck-suggestions.rs:24:39
25+
--> $DIR/if-let-rescope-borrowck-suggestions.rs:23:39
2626
|
2727
LL | do_something(if let Some(value) = Droppy.get_ref() {
2828
| ^^^^^^ creates a temporary value which is freed while still in use
@@ -31,7 +31,7 @@ LL | } else if let Some(value) = Droppy.get_ref() {
3131
| - temporary value is freed at the end of this statement
3232
|
3333
note: lifetimes for temporaries generated in `if let`s have been shortened in Edition 2024 so that they are dropped here instead
34-
--> $DIR/if-let-rescope-borrowck-suggestions.rs:27:5
34+
--> $DIR/if-let-rescope-borrowck-suggestions.rs:26:5
3535
|
3636
LL | } else if let Some(value) = Droppy.get_ref() {
3737
| ^
@@ -53,7 +53,7 @@ LL ~ }}});
5353
|
5454

5555
error[E0716]: temporary value dropped while borrowed
56-
--> $DIR/if-let-rescope-borrowck-suggestions.rs:27:33
56+
--> $DIR/if-let-rescope-borrowck-suggestions.rs:26:33
5757
|
5858
LL | } else if let Some(value) = Droppy.get_ref() {
5959
| ^^^^^^ creates a temporary value which is freed while still in use
@@ -62,7 +62,7 @@ LL | } else {
6262
| - temporary value is freed at the end of this statement
6363
|
6464
note: lifetimes for temporaries generated in `if let`s have been shortened in Edition 2024 so that they are dropped here instead
65-
--> $DIR/if-let-rescope-borrowck-suggestions.rs:30:5
65+
--> $DIR/if-let-rescope-borrowck-suggestions.rs:29:5
6666
|
6767
LL | } else {
6868
| ^

‎tests/ui/drop/lint-if-let-rescope-gated.with_feature_gate.stderr renamed to ‎tests/ui/drop/lint-if-let-rescope-gated.edition2021.stderr

File renamed without changes.

0 commit comments

Comments
 (0)