-
Notifications
You must be signed in to change notification settings - Fork 12.7k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #90724 - JohnTitor:rollup-zg0kbm3, r=JohnTitor
Rollup of 6 pull requests Successful merges: - #87530 (Add comments regarding superfluous `!Sync` impls) - #90591 (treat illumos like solaris in failing ui tests which need it) - #90678 (Add some GATs-related regression tests) - #90688 (enable `dotprod` target feature in arm) - #90708 (Add a note about feature(explicit_generic_args_with_impl_trait) to the relevant error message) - #90720 (Update cargo) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
- Loading branch information
Showing
18 changed files
with
155 additions
and
7 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
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 |
---|---|---|
@@ -0,0 +1,24 @@ | ||
#![feature(generic_associated_types)] | ||
#![feature(type_alias_impl_trait)] | ||
|
||
fn main() {} | ||
|
||
trait A<'a> { | ||
type B<'b>: Clone | ||
// FIXME(generic_associated_types): Remove one of the below bounds | ||
// https://github.com/rust-lang/rust/pull/90678#discussion_r744976085 | ||
where | ||
'a: 'b, Self: 'a, Self: 'b; | ||
|
||
fn a(&'a self) -> Self::B<'a>; | ||
} | ||
|
||
struct C; | ||
|
||
impl<'a> A<'a> for C { | ||
type B<'b> = impl Clone; | ||
//~^ ERROR: lifetime bound not satisfied | ||
//~| ERROR: could not find defining uses | ||
|
||
fn a(&'a self) -> Self::B<'a> {} //~ ERROR: non-defining opaque type use in defining scope | ||
} |
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,40 @@ | ||
error[E0478]: lifetime bound not satisfied | ||
--> $DIR/issue-88595.rs:19:5 | ||
| | ||
LL | type B<'b> = impl Clone; | ||
| ^^^^^^^^^^^^^^^^^^^^^^^^ | ||
| | ||
note: lifetime parameter instantiated with the lifetime `'a` as defined here | ||
--> $DIR/issue-88595.rs:18:6 | ||
| | ||
LL | impl<'a> A<'a> for C { | ||
| ^^ | ||
note: but lifetime parameter must outlive the lifetime `'b` as defined here | ||
--> $DIR/issue-88595.rs:19:12 | ||
| | ||
LL | type B<'b> = impl Clone; | ||
| ^^ | ||
|
||
error: non-defining opaque type use in defining scope | ||
--> $DIR/issue-88595.rs:23:23 | ||
| | ||
LL | fn a(&'a self) -> Self::B<'a> {} | ||
| ^^^^^^^^^^^ | ||
| | ||
note: lifetime used multiple times | ||
--> $DIR/issue-88595.rs:18:6 | ||
| | ||
LL | impl<'a> A<'a> for C { | ||
| ^^ | ||
LL | type B<'b> = impl Clone; | ||
| ^^ | ||
|
||
error: could not find defining uses | ||
--> $DIR/issue-88595.rs:19:18 | ||
| | ||
LL | type B<'b> = impl Clone; | ||
| ^^^^^^^^^^ | ||
|
||
error: aborting due to 3 previous errors | ||
|
||
For more information about this error, try `rustc --explain E0478`. |
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,22 @@ | ||
// edition:2018 | ||
|
||
#![feature(generic_associated_types)] | ||
#![feature(type_alias_impl_trait)] | ||
|
||
use std::future::Future; | ||
|
||
trait MakeFut { | ||
type Fut<'a> where Self: 'a; | ||
fn make_fut<'a>(&'a self) -> Self::Fut<'a>; | ||
} | ||
|
||
impl MakeFut for &'_ mut () { | ||
type Fut<'a> = impl Future<Output = ()>; | ||
//~^ ERROR: the type `&mut ()` does not fulfill the required lifetime | ||
|
||
fn make_fut<'a>(&'a self) -> Self::Fut<'a> { | ||
async { () } | ||
} | ||
} | ||
|
||
fn main() {} |
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,15 @@ | ||
error[E0477]: the type `&mut ()` does not fulfill the required lifetime | ||
--> $DIR/issue-90014.rs:14:5 | ||
| | ||
LL | type Fut<'a> = impl Future<Output = ()>; | ||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ||
| | ||
note: type must outlive the lifetime `'a` as defined here | ||
--> $DIR/issue-90014.rs:14:14 | ||
| | ||
LL | type Fut<'a> = impl Future<Output = ()>; | ||
| ^^ | ||
|
||
error: aborting due to previous error | ||
|
||
For more information about this error, try `rustc --explain E0477`. |
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
Submodule cargo
updated
5 files
+2 −2 | Cargo.toml | |
+9 −3 | src/cargo/core/compiler/mod.rs | |
+1 −1 | src/cargo/core/package.rs | |
+10 −15 | src/cargo/ops/cargo_test.rs | |
+29 −0 | tests/testsuite/doc.rs |