Skip to content

Commit 8890fdb

Browse files
frank-kingfrank-king
committed
parse pinned local variable declarations
1 parent a9e7b30 commit 8890fdb

File tree

50 files changed

+449
-93
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

50 files changed

+449
-93
lines changed

‎compiler/rustc_ast/src/ast.rs

Lines changed: 23 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -720,18 +720,22 @@ impl ByRef {
720720
/// Used for both the explicit binding annotations given in the HIR for a binding
721721
/// and the final binding mode that we infer after type inference/match ergonomics.
722722
/// `.0` is the by-reference mode (`ref`, `ref mut`, or by value),
723-
/// `.1` is the mutability of the binding.
723+
/// `.1` is the pinnedness of the binding,
724+
/// `.2` is the mutability of the binding.
724725
#[derive(Clone, Copy, Debug, Eq, PartialEq)]
725726
#[derive(Encodable, Decodable, HashStable_Generic)]
726-
pub struct BindingMode(pub ByRef, pub Mutability);
727+
pub struct BindingMode(pub ByRef, pub Pinnedness, pub Mutability);
727728

728729
impl BindingMode {
729-
pub const NONE: Self = Self(ByRef::No, Mutability::Not);
730-
pub const REF: Self = Self(ByRef::Yes(Mutability::Not), Mutability::Not);
731-
pub const MUT: Self = Self(ByRef::No, Mutability::Mut);
732-
pub const REF_MUT: Self = Self(ByRef::Yes(Mutability::Mut), Mutability::Not);
733-
pub const MUT_REF: Self = Self(ByRef::Yes(Mutability::Not), Mutability::Mut);
734-
pub const MUT_REF_MUT: Self = Self(ByRef::Yes(Mutability::Mut), Mutability::Mut);
730+
pub const NONE: Self = Self(ByRef::No, Pinnedness::Not, Mutability::Not);
731+
pub const REF: Self = Self(ByRef::Yes(Mutability::Not), Pinnedness::Not, Mutability::Not);
732+
pub const MUT: Self = Self(ByRef::No, Pinnedness::Not, Mutability::Mut);
733+
pub const REF_MUT: Self = Self(ByRef::Yes(Mutability::Mut), Pinnedness::Not, Mutability::Not);
734+
pub const MUT_REF: Self = Self(ByRef::Yes(Mutability::Not), Pinnedness::Not, Mutability::Mut);
735+
pub const MUT_REF_MUT: Self =
736+
Self(ByRef::Yes(Mutability::Mut), Pinnedness::Not, Mutability::Mut);
737+
pub const PIN_CONST: Self = Self(ByRef::No, Pinnedness::Pinned, Mutability::Not);
738+
pub const PIN_MUT: Self = Self(ByRef::No, Pinnedness::Pinned, Mutability::Mut);
735739

736740
pub fn prefix_str(self) -> &'static str {
737741
match self {
@@ -741,6 +745,9 @@ impl BindingMode {
741745
Self::REF_MUT => "ref mut ",
742746
Self::MUT_REF => "mut ref ",
743747
Self::MUT_REF_MUT => "mut ref mut ",
748+
Self::PIN_CONST => "pin const ",
749+
Self::PIN_MUT => "pin mut ",
750+
Self(_, Pinnedness::Pinned, _) => panic!("unsupported pinned binding mode"),
744751
}
745752
}
746753
}
@@ -2583,7 +2590,9 @@ pub type ExplicitSelf = Spanned<SelfKind>;
25832590
impl Param {
25842591
/// Attempts to cast parameter to `ExplicitSelf`.
25852592
pub fn to_self(&self) -> Option<ExplicitSelf> {
2586-
if let PatKind::Ident(BindingMode(ByRef::No, mutbl), ident, _) = self.pat.kind {
2593+
if let PatKind::Ident(BindingMode(ByRef::No, Pinnedness::Not, mutbl), ident, _) =
2594+
self.pat.kind
2595+
{
25872596
if ident.name == kw::SelfLower {
25882597
return match self.ty.kind {
25892598
TyKind::ImplicitSelf => Some(respan(self.pat.span, SelfKind::Value(mutbl))),
@@ -2638,7 +2647,11 @@ impl Param {
26382647
attrs,
26392648
pat: P(Pat {
26402649
id: DUMMY_NODE_ID,
2641-
kind: PatKind::Ident(BindingMode(ByRef::No, mutbl), eself_ident, None),
2650+
kind: PatKind::Ident(
2651+
BindingMode(ByRef::No, Pinnedness::Not, mutbl),
2652+
eself_ident,
2653+
None,
2654+
),
26422655
span,
26432656
tokens: None,
26442657
}),

‎compiler/rustc_ast_ir/src/lib.rs

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -86,3 +86,12 @@ pub enum Pinnedness {
8686
Not,
8787
Pinned,
8888
}
89+
90+
impl Pinnedness {
91+
pub fn is_pin(self) -> bool {
92+
matches!(self, Self::Pinned)
93+
}
94+
pub fn is_not(self) -> bool {
95+
matches!(self, Self::Not)
96+
}
97+
}

‎compiler/rustc_ast_lowering/src/item.rs

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1275,7 +1275,9 @@ impl<'hir> LoweringContext<'_, 'hir> {
12751275
// Check if this is a binding pattern, if so, we can optimize and avoid adding a
12761276
// `let <pat> = __argN;` statement. In this case, we do not rename the parameter.
12771277
let (ident, is_simple_parameter) = match parameter.pat.kind {
1278-
hir::PatKind::Binding(hir::BindingMode(ByRef::No, _), _, ident, _) => (ident, true),
1278+
hir::PatKind::Binding(hir::BindingMode(ByRef::No, _, _), _, ident, _) => {
1279+
(ident, true)
1280+
}
12791281
// For `ref mut` or wildcard arguments, we can't reuse the binding, but
12801282
// we can keep the same name for the parameter.
12811283
// This lets rustdoc render it correctly in documentation.

‎compiler/rustc_ast_lowering/src/lib.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1641,7 +1641,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
16411641
implicit_self: decl.inputs.get(0).map_or(hir::ImplicitSelfKind::None, |arg| {
16421642
let is_mutable_pat = matches!(
16431643
arg.pat.kind,
1644-
PatKind::Ident(hir::BindingMode(_, Mutability::Mut), ..)
1644+
PatKind::Ident(hir::BindingMode(_, _, Mutability::Mut), ..)
16451645
);
16461646

16471647
match &arg.ty.kind {

‎compiler/rustc_ast_pretty/src/pprust/state.rs

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1594,7 +1594,10 @@ impl<'a> State<'a> {
15941594
match &pat.kind {
15951595
PatKind::Wild => self.word("_"),
15961596
PatKind::Never => self.word("!"),
1597-
PatKind::Ident(BindingMode(by_ref, mutbl), ident, sub) => {
1597+
PatKind::Ident(BindingMode(by_ref, pin, mutbl), ident, sub) => {
1598+
if pin.is_pin() {
1599+
self.word_nbsp("pin");
1600+
}
15981601
if mutbl.is_mut() {
15991602
self.word_nbsp("mut");
16001603
}

‎compiler/rustc_borrowck/src/diagnostics/mutability_errors.rs

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -305,7 +305,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
305305
{
306306
match *decl.local_info() {
307307
LocalInfo::User(BindingForm::Var(mir::VarBindingForm {
308-
binding_mode: BindingMode(ByRef::No, Mutability::Not),
308+
binding_mode: BindingMode(ByRef::No, _, Mutability::Not),
309309
opt_ty_info: Some(sp),
310310
opt_match_place: _,
311311
pat_span: _,
@@ -733,7 +733,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
733733
debug!("local_decl: {:?}", local_decl);
734734
let pat_span = match *local_decl.local_info() {
735735
LocalInfo::User(BindingForm::Var(mir::VarBindingForm {
736-
binding_mode: BindingMode(ByRef::No, Mutability::Not),
736+
binding_mode: BindingMode(ByRef::No, _, Mutability::Not),
737737
opt_ty_info: _,
738738
opt_match_place: _,
739739
pat_span,
@@ -1147,7 +1147,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
11471147
}
11481148

11491149
LocalInfo::User(mir::BindingForm::Var(mir::VarBindingForm {
1150-
binding_mode: BindingMode(ByRef::No, _),
1150+
binding_mode: BindingMode(ByRef::No, _, _),
11511151
opt_ty_info,
11521152
..
11531153
})) => {
@@ -1226,7 +1226,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
12261226
}
12271227

12281228
LocalInfo::User(mir::BindingForm::Var(mir::VarBindingForm {
1229-
binding_mode: BindingMode(ByRef::Yes(_), _),
1229+
binding_mode: BindingMode(ByRef::Yes(_), _, _),
12301230
..
12311231
})) => {
12321232
let pattern_span: Span = local_decl.source_info.span;
@@ -1441,7 +1441,7 @@ fn mut_borrow_of_mutable_ref(local_decl: &LocalDecl<'_>, local_name: Option<Symb
14411441
match *local_decl.local_info() {
14421442
// Check if mutably borrowing a mutable reference.
14431443
LocalInfo::User(mir::BindingForm::Var(mir::VarBindingForm {
1444-
binding_mode: BindingMode(ByRef::No, Mutability::Not),
1444+
binding_mode: BindingMode(ByRef::No, _, Mutability::Not),
14451445
..
14461446
})) => matches!(local_decl.ty.kind(), ty::Ref(_, _, hir::Mutability::Mut)),
14471447
LocalInfo::User(mir::BindingForm::ImplicitSelf(kind)) => {

‎compiler/rustc_builtin_macros/src/deriving/generic/mod.rs

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -183,7 +183,7 @@ pub(crate) use SubstructureFields::*;
183183
use rustc_ast::ptr::P;
184184
use rustc_ast::{
185185
self as ast, AnonConst, BindingMode, ByRef, EnumDef, Expr, GenericArg, GenericParamKind,
186-
Generics, Mutability, PatKind, VariantData,
186+
Generics, Mutability, PatKind, Pinnedness, VariantData,
187187
};
188188
use rustc_attr_parsing as attr;
189189
use rustc_expand::base::{Annotatable, ExtCtxt};
@@ -1468,7 +1468,11 @@ impl<'a> TraitDef<'a> {
14681468
struct_field.ident,
14691469
cx.pat(
14701470
path.span,
1471-
PatKind::Ident(BindingMode(by_ref, Mutability::Not), path, None),
1471+
PatKind::Ident(
1472+
BindingMode(by_ref, Pinnedness::Not, Mutability::Not),
1473+
path,
1474+
None,
1475+
),
14721476
),
14731477
)
14741478
});

‎compiler/rustc_hir/src/hir.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ use rustc_ast::{
1111
};
1212
pub use rustc_ast::{
1313
BinOp, BinOpKind, BindingMode, BorrowKind, BoundConstness, BoundPolarity, ByRef, CaptureBy,
14-
ImplPolarity, IsAuto, Movability, Mutability, UnOp, UnsafeBinderCastKind,
14+
ImplPolarity, IsAuto, Movability, Mutability, Pinnedness, UnOp, UnsafeBinderCastKind,
1515
};
1616
use rustc_data_structures::fingerprint::Fingerprint;
1717
use rustc_data_structures::sorted_map::SortedMap;

‎compiler/rustc_hir/src/pat_util.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -95,7 +95,7 @@ impl hir::Pat<'_> {
9595

9696
pub fn simple_ident(&self) -> Option<Ident> {
9797
match self.kind {
98-
PatKind::Binding(BindingMode(ByRef::No, _), _, ident, None) => Some(ident),
98+
PatKind::Binding(BindingMode(ByRef::No, _, _), _, ident, None) => Some(ident),
9999
_ => None,
100100
}
101101
}

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -681,7 +681,7 @@ fn resolve_local<'tcx>(
681681
// & expression, and its lifetime would be extended to the end of the block (due
682682
// to a different rule, not the below code).
683683
match pat.kind {
684-
PatKind::Binding(hir::BindingMode(hir::ByRef::Yes(_), _), ..) => true,
684+
PatKind::Binding(hir::BindingMode(hir::ByRef::Yes(_), _, _), ..) => true,
685685

686686
PatKind::Struct(_, field_pats, _) => field_pats.iter().any(|fp| is_binding_pat(fp.pat)),
687687

@@ -700,7 +700,7 @@ fn resolve_local<'tcx>(
700700
}
701701

702702
PatKind::Ref(_, _)
703-
| PatKind::Binding(hir::BindingMode(hir::ByRef::No, _), ..)
703+
| PatKind::Binding(hir::BindingMode(hir::ByRef::No, _, _), ..)
704704
| PatKind::Wild
705705
| PatKind::Never
706706
| PatKind::Expr(_)

‎compiler/rustc_hir_pretty/src/lib.rs

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1913,7 +1913,10 @@ impl<'a> State<'a> {
19131913
match pat.kind {
19141914
PatKind::Wild => self.word("_"),
19151915
PatKind::Never => self.word("!"),
1916-
PatKind::Binding(BindingMode(by_ref, mutbl), _, ident, sub) => {
1916+
PatKind::Binding(BindingMode(by_ref, pin, mutbl), _, ident, sub) => {
1917+
if pin.is_pin() {
1918+
self.word_nbsp("pin");
1919+
}
19171920
if mutbl.is_mut() {
19181921
self.word_nbsp("mut");
19191922
}

‎compiler/rustc_hir_typeck/src/pat.rs

Lines changed: 11 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ use rustc_hir::def::{CtorKind, DefKind, Res};
1212
use rustc_hir::pat_util::EnumerateAndAdjustIterator;
1313
use rustc_hir::{
1414
self as hir, BindingMode, ByRef, ExprKind, HirId, LangItem, Mutability, Pat, PatExpr,
15-
PatExprKind, PatKind, expr_needs_parens,
15+
PatExprKind, PatKind, Pinnedness, expr_needs_parens,
1616
};
1717
use rustc_infer::infer;
1818
use rustc_middle::traits::PatternOriginExpr;
@@ -812,7 +812,9 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
812812

813813
// Determine the binding mode...
814814
let bm = match user_bind_annot {
815-
BindingMode(ByRef::No, Mutability::Mut) if let ByRef::Yes(def_br_mutbl) = def_br => {
815+
BindingMode(ByRef::No, pin, Mutability::Mut)
816+
if let ByRef::Yes(def_br_mutbl) = def_br =>
817+
{
816818
// Only mention the experimental `mut_ref` feature if if we're in edition 2024 and
817819
// using other experimental matching features compatible with it.
818820
if pat.span.at_least_rust_2024()
@@ -829,7 +831,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
829831
.emit();
830832
}
831833

832-
BindingMode(def_br, Mutability::Mut)
834+
BindingMode(def_br, pin, Mutability::Mut)
833835
} else {
834836
// `mut` resets the binding mode on edition <= 2021
835837
self.add_rust_2024_migration_desugared_pat(
@@ -838,11 +840,11 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
838840
ident.span,
839841
def_br_mutbl,
840842
);
841-
BindingMode(ByRef::No, Mutability::Mut)
843+
BindingMode(ByRef::No, pin, Mutability::Mut)
842844
}
843845
}
844-
BindingMode(ByRef::No, mutbl) => BindingMode(def_br, mutbl),
845-
BindingMode(ByRef::Yes(_), _) => {
846+
BindingMode(ByRef::No, pin, mutbl) => BindingMode(def_br, pin, mutbl),
847+
BindingMode(ByRef::Yes(_), _, _) => {
846848
if let ByRef::Yes(def_br_mutbl) = def_br {
847849
// `ref`/`ref mut` overrides the binding mode on edition <= 2021
848850
self.add_rust_2024_migration_desugared_pat(
@@ -1064,7 +1066,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
10641066
if let PatKind::Ref(the_ref, _) = i.kind
10651067
&& let PatKind::Binding(mt, _, ident, _) = the_ref.kind
10661068
{
1067-
let BindingMode(_, mtblty) = mt;
1069+
let BindingMode(_, _, mtblty) = mt;
10681070
err.span_suggestion_verbose(
10691071
i.span,
10701072
format!("consider removing `&{mutability}` from the pattern"),
@@ -2820,8 +2822,8 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
28202822
// If the user-provided binding modifier doesn't match the default binding mode, we'll
28212823
// need to suggest reference patterns, which can affect other bindings.
28222824
// For simplicity, we opt to suggest making the pattern fully explicit.
2823-
info.suggest_eliding_modes &=
2824-
user_bind_annot == BindingMode(ByRef::Yes(def_br_mutbl), Mutability::Not);
2825+
info.suggest_eliding_modes &= user_bind_annot
2826+
== BindingMode(ByRef::Yes(def_br_mutbl), Pinnedness::Not, Mutability::Not);
28252827
"binding modifier"
28262828
} else {
28272829
info.bad_ref_pats |= true;

‎compiler/rustc_hir_typeck/src/upvar.rs

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -276,7 +276,8 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
276276
else {
277277
bug!();
278278
};
279-
let hir::PatKind::Binding(hir::BindingMode(hir::ByRef::No, _), _, _, _) = pat.kind
279+
let hir::PatKind::Binding(hir::BindingMode(hir::ByRef::No, _, _), _, _, _) =
280+
pat.kind
280281
else {
281282
// Complex pattern, skip the non-upvar local.
282283
continue;
@@ -1799,7 +1800,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
17991800

18001801
let bm = *typeck_results.pat_binding_modes().get(var_hir_id).expect("missing binding mode");
18011802

1802-
let mut is_mutbl = bm.1;
1803+
let mut is_mutbl = bm.2;
18031804

18041805
for pointer_ty in place.deref_tys() {
18051806
match self.structurally_resolve_type(self.tcx.hir().span(var_hir_id), pointer_ty).kind()

‎compiler/rustc_middle/src/mir/mod.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1122,7 +1122,7 @@ impl<'tcx> LocalDecl<'tcx> {
11221122
self.local_info(),
11231123
LocalInfo::User(
11241124
BindingForm::Var(VarBindingForm {
1125-
binding_mode: BindingMode(ByRef::No, _),
1125+
binding_mode: BindingMode(ByRef::No, _, _),
11261126
opt_ty_info: _,
11271127
opt_match_place: _,
11281128
pat_span: _,
@@ -1139,7 +1139,7 @@ impl<'tcx> LocalDecl<'tcx> {
11391139
self.local_info(),
11401140
LocalInfo::User(
11411141
BindingForm::Var(VarBindingForm {
1142-
binding_mode: BindingMode(ByRef::No, _),
1142+
binding_mode: BindingMode(ByRef::No, _, _),
11431143
opt_ty_info: _,
11441144
opt_match_place: _,
11451145
pat_span: _,

‎compiler/rustc_middle/src/thir.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -633,7 +633,7 @@ impl<'tcx> Pat<'tcx> {
633633
pub fn simple_ident(&self) -> Option<Symbol> {
634634
match self.kind {
635635
PatKind::Binding {
636-
name, mode: BindingMode(ByRef::No, _), subpattern: None, ..
636+
name, mode: BindingMode(ByRef::No, _, _), subpattern: None, ..
637637
} => Some(name),
638638
_ => None,
639639
}

‎compiler/rustc_middle/src/ty/typeck_results.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -456,7 +456,7 @@ impl<'tcx> TypeckResults<'tcx> {
456456
let mut has_ref_mut = false;
457457
pat.walk(|pat| {
458458
if let hir::PatKind::Binding(_, id, _, _) = pat.kind
459-
&& let Some(BindingMode(ByRef::Yes(Mutability::Mut), _)) =
459+
&& let Some(BindingMode(ByRef::Yes(Mutability::Mut), _, _)) =
460460
self.pat_binding_modes().get(id)
461461
{
462462
has_ref_mut = true;

‎compiler/rustc_mir_build/src/builder/matches/mod.rs

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -582,7 +582,9 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
582582
) -> BlockAnd<()> {
583583
match irrefutable_pat.kind {
584584
// Optimize the case of `let x = ...` to write directly into `x`
585-
PatKind::Binding { mode: BindingMode(ByRef::No, _), var, subpattern: None, .. } => {
585+
PatKind::Binding {
586+
mode: BindingMode(ByRef::No, _, _), var, subpattern: None, ..
587+
} => {
586588
let place = self.storage_live_binding(
587589
block,
588590
var,
@@ -606,7 +608,7 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
606608
ref subpattern,
607609
ascription: thir::Ascription { ref annotation, variance: _ },
608610
} if let PatKind::Binding {
609-
mode: BindingMode(ByRef::No, _),
611+
mode: BindingMode(ByRef::No, _, _),
610612
var,
611613
subpattern: None,
612614
..
@@ -2755,7 +2757,7 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
27552757
let tcx = self.tcx;
27562758
let debug_source_info = SourceInfo { span: source_info.span, scope: visibility_scope };
27572759
let local = LocalDecl {
2758-
mutability: mode.1,
2760+
mutability: mode.2,
27592761
ty: var_ty,
27602762
user_ty: if user_ty.is_empty() { None } else { Some(Box::new(user_ty)) },
27612763
source_info,

‎compiler/rustc_mir_build/src/builder/mod.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -962,7 +962,7 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
962962
// Don't introduce extra copies for simple bindings
963963
PatKind::Binding {
964964
var,
965-
mode: BindingMode(ByRef::No, mutability),
965+
mode: BindingMode(ByRef::No, pin, mutability),
966966
subpattern: None,
967967
..
968968
} => {
@@ -972,7 +972,7 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
972972
if let Some(kind) = param.self_kind {
973973
LocalInfo::User(BindingForm::ImplicitSelf(kind))
974974
} else {
975-
let binding_mode = BindingMode(ByRef::No, mutability);
975+
let binding_mode = BindingMode(ByRef::No, pin, mutability);
976976
LocalInfo::User(BindingForm::Var(VarBindingForm {
977977
binding_mode,
978978
opt_ty_info: param.ty_span,

‎compiler/rustc_mir_build/src/check_unsafety.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -373,7 +373,7 @@ impl<'a, 'tcx> Visitor<'a, 'tcx> for UnsafetyVisitor<'a, 'tcx> {
373373
}
374374
visit::walk_pat(self, pat);
375375
}
376-
PatKind::Binding { mode: BindingMode(ByRef::Yes(rm), _), ty, .. } => {
376+
PatKind::Binding { mode: BindingMode(ByRef::Yes(rm), _, _), ty, .. } => {
377377
if self.inside_adt {
378378
let ty::Ref(_, ty, _) = ty.kind() else {
379379
span_bug!(

0 commit comments

Comments
 (0)