about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEric Huss <eric@huss.org>2024-11-15 10:06:53 -0800
committerEric Huss <eric@huss.org>2024-11-15 10:06:53 -0800
commit03e2828e8876e9c2d2ec9238d9cdce82e7b93798 (patch)
tree8cce42e5ac8e5c3e37207e9c497acf25fcd4ed0e
parentd163541022248c12f166a2606cb3295986540318 (diff)
downloadrust-03e2828e8876e9c2d2ec9238d9cdce82e7b93798.tar.gz
rust-03e2828e8876e9c2d2ec9238d9cdce82e7b93798.zip
Fix span edition for 2024 RPIT coming from an external macro
This fixes a problem where code generated by an external macro with an
RPIT would end up using the call-site edition instead of the macro's
edition for the RPIT. When used from a 2024 crate, this caused the code
to change behavior to the 2024 capturing rules, which we don't want.

This was caused by the impl-trait lowering code would replace the span
with one marked with `DesugaringKind::OpaqueTy` desugaring. However, it
was also overriding the edition of the span with the edition of the
local crate. Instead it should be using the edition of the span itself.

Fixes https://github.com/rust-lang/rust/issues/132917
-rw-r--r--compiler/rustc_ast_lowering/src/lib.rs2
-rw-r--r--tests/ui/impl-trait/precise-capturing/external-macro.rs5
-rw-r--r--tests/ui/impl-trait/precise-capturing/external-macro.stderr89
3 files changed, 2 insertions, 94 deletions
diff --git a/compiler/rustc_ast_lowering/src/lib.rs b/compiler/rustc_ast_lowering/src/lib.rs
index 5a0e9e8aec0..d53280751fc 100644
--- a/compiler/rustc_ast_lowering/src/lib.rs
+++ b/compiler/rustc_ast_lowering/src/lib.rs
@@ -738,7 +738,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
         allow_internal_unstable: Option<Lrc<[Symbol]>>,
     ) -> Span {
         self.tcx.with_stable_hashing_context(|hcx| {
-            span.mark_with_reason(allow_internal_unstable, reason, self.tcx.sess.edition(), hcx)
+            span.mark_with_reason(allow_internal_unstable, reason, span.edition(), hcx)
         })
     }
 
diff --git a/tests/ui/impl-trait/precise-capturing/external-macro.rs b/tests/ui/impl-trait/precise-capturing/external-macro.rs
index 72f72bc7b05..492e8036461 100644
--- a/tests/ui/impl-trait/precise-capturing/external-macro.rs
+++ b/tests/ui/impl-trait/precise-capturing/external-macro.rs
@@ -6,12 +6,11 @@
 //@ aux-crate: no_use_macro=no-use-macro.rs
 //@ edition: 2024
 //@ compile-flags:-Z unstable-options
+//@ check-pass
 
 no_use_pm::pm_rpit!{}
-//~^ ERROR: cannot borrow `x` as mutable
 
 no_use_macro::macro_rpit!{}
-//~^ ERROR: cannot borrow `x` as mutable
 
 fn main() {
     let mut x = vec![];
@@ -19,11 +18,9 @@ fn main() {
 
     let element = test_pm(&x);
     x.push(2);
-    //~^ ERROR: cannot borrow `x` as mutable
     println!("{element}");
 
     let element = test_mbe(&x);
     x.push(2);
-    //~^ ERROR: cannot borrow `x` as mutable
     println!("{element}");
 }
diff --git a/tests/ui/impl-trait/precise-capturing/external-macro.stderr b/tests/ui/impl-trait/precise-capturing/external-macro.stderr
deleted file mode 100644
index 88a142088dd..00000000000
--- a/tests/ui/impl-trait/precise-capturing/external-macro.stderr
+++ /dev/null
@@ -1,89 +0,0 @@
-error[E0502]: cannot borrow `x` as mutable because it is also borrowed as immutable
-  --> $DIR/external-macro.rs:10:1
-   |
-LL | no_use_pm::pm_rpit!{}
-   | ^^^^^^^^^^^^^^^^^^^^^
-   | |
-   | mutable borrow occurs here
-   | immutable borrow occurs here
-   | immutable borrow later used here
-   |
-note: this call may capture more lifetimes than intended, because Rust 2024 has adjusted the `impl Trait` lifetime capture rules
-  --> $DIR/external-macro.rs:10:1
-   |
-LL | no_use_pm::pm_rpit!{}
-   | ^^^^^^^^^^^^^^^^^^^^^
-   = note: this error originates in the macro `no_use_pm::pm_rpit` (in Nightly builds, run with -Z macro-backtrace for more info)
-help: use the precise capturing `use<...>` syntax to make the captures explicit
-   |
-LL | no_use_pm::pm_rpit!{} + use<>
-   |                       +++++++
-
-error[E0502]: cannot borrow `x` as mutable because it is also borrowed as immutable
-  --> $DIR/external-macro.rs:13:1
-   |
-LL | no_use_macro::macro_rpit!{}
-   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
-   | |
-   | mutable borrow occurs here
-   | immutable borrow occurs here
-   | immutable borrow later used here
-   |
-note: this call may capture more lifetimes than intended, because Rust 2024 has adjusted the `impl Trait` lifetime capture rules
-  --> $DIR/external-macro.rs:13:1
-   |
-LL | no_use_macro::macro_rpit!{}
-   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
-   = note: this error originates in the macro `no_use_macro::macro_rpit` (in Nightly builds, run with -Z macro-backtrace for more info)
-help: use the precise capturing `use<...>` syntax to make the captures explicit
-  --> $DIR/auxiliary/no-use-macro.rs:7:60
-   |
-LL |         fn test_mbe(x: &Vec<i32>) -> impl std::fmt::Display + use<> {
-   |                                                             +++++++
-
-error[E0502]: cannot borrow `x` as mutable because it is also borrowed as immutable
-  --> $DIR/external-macro.rs:21:5
-   |
-LL |     let element = test_pm(&x);
-   |                           -- immutable borrow occurs here
-LL |     x.push(2);
-   |     ^^^^^^^^^ mutable borrow occurs here
-LL |
-LL |     println!("{element}");
-   |               --------- immutable borrow later used here
-   |
-note: this call may capture more lifetimes than intended, because Rust 2024 has adjusted the `impl Trait` lifetime capture rules
-  --> $DIR/external-macro.rs:20:19
-   |
-LL |     let element = test_pm(&x);
-   |                   ^^^^^^^^^^^
-help: use the precise capturing `use<...>` syntax to make the captures explicit
-   |
-LL | no_use_pm::pm_rpit!{} + use<>
-   |                       +++++++
-
-error[E0502]: cannot borrow `x` as mutable because it is also borrowed as immutable
-  --> $DIR/external-macro.rs:26:5
-   |
-LL |     let element = test_pm(&x);
-   |                           -- immutable borrow occurs here
-...
-LL |     x.push(2);
-   |     ^^^^^^^^^ mutable borrow occurs here
-...
-LL | }
-   | - immutable borrow might be used here, when `element` is dropped and runs the destructor for type `impl std::fmt::Display`
-   |
-note: this call may capture more lifetimes than intended, because Rust 2024 has adjusted the `impl Trait` lifetime capture rules
-  --> $DIR/external-macro.rs:20:19
-   |
-LL |     let element = test_pm(&x);
-   |                   ^^^^^^^^^^^
-help: use the precise capturing `use<...>` syntax to make the captures explicit
-   |
-LL | no_use_pm::pm_rpit!{} + use<>
-   |                       +++++++
-
-error: aborting due to 4 previous errors
-
-For more information about this error, try `rustc --explain E0502`.