-
Notifications
You must be signed in to change notification settings - Fork 12.5k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Report a specialized error when a
'static obligation comes from an …
…`impl dyn Trait`
```text
error: lifetime may not live long enough
--> $DIR/static-impl-obligation.rs:8:27
|
LL | fn bar<'a>(x: &'a &'a u32) {
| -- lifetime `'a` defined here
LL | let y: &dyn Foo = x;
| ^ cast requires that `'a` must outlive `'static`
LL | y.hello();
| --------- calling this method introduces a `'static` lifetime requirement
|
help: relax the implicit `'static` bound on the impl
|
LL | impl dyn Foo + '_ {
| ++++
```
```text
error: lifetime may not live long enough
--> $DIR/static-impl-obligation.rs:173:27
|
LL | fn bar<'a>(x: &'a &'a u32) {
| -- lifetime `'a` defined here
LL | let y: &dyn Foo = x;
| ^ cast requires that `'a` must outlive `'static`
LL | y.hello();
| --------- calling this method introduces a `'static` lifetime requirement
|
note: the `impl` on `(dyn p::Foo + 'static)` has `'static` lifetime requirements
--> $DIR/static-impl-obligation.rs:169:20
|
LL | impl dyn Foo + 'static where Self: 'static {
| ^^^^^^^ ^^^^^^^
LL | fn hello(&self) where Self: 'static {}
| ^^^^^^^
```- Loading branch information
Showing
18 changed files
with
834 additions
and
73 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
306 changes: 262 additions & 44 deletions
306
compiler/rustc_borrowck/src/diagnostics/region_errors.rs
Large diffs are not rendered by default.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,6 +1,16 @@ | ||
| error: internal compiler error: error performing ParamEnvAnd { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, value: ImpliedOutlivesBounds { ty: &'?2 mut StateContext<'?3, usize> } } | ||
| --> $DIR/issue-80409.rs:48:30 | ||
| | | ||
| = query stack during panic: | ||
| LL | builder.state().on_entry(|_| {}); | ||
| | ^^^ | ||
| | | ||
| note: delayed at /home/gh-estebank/rust/compiler/rustc_trait_selection/src/traits/query/type_op/mod.rs:164:29 - disabled backtrace | ||
| --> $DIR/issue-80409.rs:48:30 | ||
| | | ||
| LL | builder.state().on_entry(|_| {}); | ||
| | ^^^ | ||
|
|
||
| query stack during panic: | ||
| end of query stack | ||
| error: aborting due to 1 previous error | ||
|
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,195 @@ | ||
| mod a { | ||
| trait Foo {} | ||
| impl<'a> Foo for &'a u32 {} | ||
| impl dyn Foo { //~ HELP consider relaxing the implicit `'static` requirement | ||
| fn hello(&self) {} | ||
| } | ||
| fn bar<'a>(x: &'a &'a u32) { | ||
| let y: &dyn Foo = x; //~ ERROR lifetime may not live long enough | ||
| y.hello(); | ||
| } | ||
| } | ||
| mod b { | ||
| trait Foo {} | ||
| impl<'a> Foo for &'a u32 {} | ||
| impl dyn Foo { | ||
| fn hello(&'static self) {} | ||
| } | ||
| fn bar<'a>(x: &'a &'a u32) { | ||
| let y: &dyn Foo = x; //~ ERROR lifetime may not live long enough | ||
| y.hello(); | ||
| } | ||
| } | ||
| mod c { | ||
| trait Foo {} | ||
| impl<'a> Foo for &'a u32 {} | ||
| impl dyn Foo { | ||
| fn hello(&'static self) where Self: 'static {} | ||
| } | ||
| fn bar<'a>(x: &'a &'a u32) { | ||
| let y: &dyn Foo = x; //~ ERROR lifetime may not live long enough | ||
| y.hello(); | ||
| } | ||
| } | ||
| mod d { | ||
| trait Foo {} | ||
| impl<'a> Foo for &'a u32 {} | ||
| impl dyn Foo { | ||
| fn hello(&self) where Self: 'static {} | ||
| } | ||
| fn bar<'a>(x: &'a &'a u32) { | ||
| let y: &dyn Foo = x; //~ ERROR lifetime may not live long enough | ||
| y.hello(); | ||
| } | ||
| } | ||
| mod e { | ||
| trait Foo {} | ||
| impl<'a> Foo for &'a u32 {} | ||
| impl dyn Foo + 'static { //~ HELP consider replacing this `'static` requirement | ||
| fn hello(&self) {} | ||
| } | ||
| fn bar<'a>(x: &'a &'a u32) { | ||
| let y: &dyn Foo = x; //~ ERROR lifetime may not live long enough | ||
| y.hello(); | ||
| } | ||
| } | ||
| mod f { | ||
| trait Foo {} | ||
| impl<'a> Foo for &'a u32 {} | ||
| impl dyn Foo + 'static { | ||
| fn hello(&'static self) {} | ||
| } | ||
| fn bar<'a>(x: &'a &'a u32) { | ||
| let y: &dyn Foo = x; //~ ERROR lifetime may not live long enough | ||
| y.hello(); | ||
| } | ||
| } | ||
| mod g { | ||
| trait Foo {} | ||
| impl<'a> Foo for &'a u32 {} | ||
| impl dyn Foo + 'static { | ||
| fn hello(&'static self) where Self: 'static {} | ||
| } | ||
| fn bar<'a>(x: &'a &'a u32) { | ||
| let y: &dyn Foo = x; //~ ERROR lifetime may not live long enough | ||
| y.hello(); | ||
| } | ||
| } | ||
| mod h { | ||
| trait Foo {} | ||
| impl<'a> Foo for &'a u32 {} | ||
| impl dyn Foo + 'static { | ||
| fn hello(&self) where Self: 'static {} | ||
| } | ||
| fn bar<'a>(x: &'a &'a u32) { | ||
| let y: &dyn Foo = x; //~ ERROR lifetime may not live long enough | ||
| y.hello(); | ||
| } | ||
| } | ||
| mod i { | ||
| trait Foo {} | ||
| impl<'a> Foo for &'a u32 {} | ||
| impl dyn Foo where Self: 'static { | ||
| fn hello(&self) {} | ||
| } | ||
| fn bar<'a>(x: &'a &'a u32) { | ||
| let y: &dyn Foo = x; //~ ERROR lifetime may not live long enough | ||
| y.hello(); | ||
| } | ||
| } | ||
| mod j { | ||
| trait Foo {} | ||
| impl<'a> Foo for &'a u32 {} | ||
| impl dyn Foo where Self: 'static { | ||
| fn hello(&'static self) {} | ||
| } | ||
| fn bar<'a>(x: &'a &'a u32) { | ||
| let y: &dyn Foo = x; //~ ERROR lifetime may not live long enough | ||
| y.hello(); | ||
| } | ||
| } | ||
| mod k { | ||
| trait Foo {} | ||
| impl<'a> Foo for &'a u32 {} | ||
| impl dyn Foo where Self: 'static { | ||
| fn hello(&'static self) where Self: 'static {} | ||
| } | ||
| fn bar<'a>(x: &'a &'a u32) { | ||
| let y: &dyn Foo = x; //~ ERROR lifetime may not live long enough | ||
| y.hello(); | ||
| } | ||
| } | ||
| mod l { | ||
| trait Foo {} | ||
| impl<'a> Foo for &'a u32 {} | ||
| impl dyn Foo where Self: 'static { | ||
| fn hello(&self) where Self: 'static {} | ||
| } | ||
| fn bar<'a>(x: &'a &'a u32) { | ||
| let y: &dyn Foo = x; //~ ERROR lifetime may not live long enough | ||
| y.hello(); | ||
| } | ||
| } | ||
| mod m { | ||
| trait Foo {} | ||
| impl<'a> Foo for &'a u32 {} | ||
| impl dyn Foo + 'static where Self: 'static { | ||
| fn hello(&self) {} | ||
| } | ||
| fn bar<'a>(x: &'a &'a u32) { | ||
| let y: &dyn Foo = x; //~ ERROR lifetime may not live long enough | ||
| y.hello(); | ||
| } | ||
| } | ||
| mod n { | ||
| trait Foo {} | ||
| impl<'a> Foo for &'a u32 {} | ||
| impl dyn Foo + 'static where Self: 'static { | ||
| fn hello(&'static self) {} | ||
| } | ||
| fn bar<'a>(x: &'a &'a u32) { | ||
| let y: &dyn Foo = x; //~ ERROR lifetime may not live long enough | ||
| y.hello(); | ||
| } | ||
| } | ||
| mod o { | ||
| trait Foo {} | ||
| impl<'a> Foo for &'a u32 {} | ||
| impl dyn Foo + 'static where Self: 'static { | ||
| fn hello(&'static self) where Self: 'static {} | ||
| } | ||
| fn bar<'a>(x: &'a &'a u32) { | ||
| let y: &dyn Foo = x; //~ ERROR lifetime may not live long enough | ||
| y.hello(); | ||
| } | ||
| } | ||
| mod p { | ||
| trait Foo {} | ||
| impl<'a> Foo for &'a u32 {} | ||
| impl dyn Foo + 'static where Self: 'static { | ||
| fn hello(&self) where Self: 'static {} | ||
| } | ||
| fn bar<'a>(x: &'a &'a u32) { | ||
| let y: &dyn Foo = x; //~ ERROR lifetime may not live long enough | ||
| y.hello(); | ||
| } | ||
| } | ||
| mod q { | ||
| struct Foo {} | ||
| impl Foo { | ||
| fn hello(&'static self) {} | ||
| } | ||
| fn bar<'a>(x: &'a &'a Foo) { | ||
| x.hello(); //~ ERROR borrowed data escapes outside of function | ||
| } | ||
| } | ||
| mod r { | ||
| struct Foo {} | ||
| impl Foo { | ||
| fn hello(&'static self) where Self: 'static {} | ||
| } | ||
| fn bar<'a>(x: &'a &'a Foo) { | ||
| x.hello(); //~ ERROR borrowed data escapes outside of function | ||
| } | ||
| } | ||
| fn main() {} |
Oops, something went wrong.