mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Bless some extra working tests under -Zlower-impl-trait-in-trait-to-assoc-ty

Browse Source
This commit is contained in:
Santiago Pastorino 2023-03-21 16:52:15 -03:00
parent 66714658d0
commit 2ca350c776
No known key found for this signature in database
GPG Key ID: 8131A24E0C79EFAF
4 changed files with 24 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/ui/impl-trait/in-trait/nested-rpitit.rs
View File

@ -1,4 +1,6 @@
// check-pass // check-pass
// [next] compile-flags: -Zlower-impl-trait-in-trait-to-assoc-ty
// revisions: current next
#![feature(return_position_impl_trait_in_trait)] #![feature(return_position_impl_trait_in_trait)]
#![allow(incomplete_features)] #![allow(incomplete_features)]

4
tests/ui/rfc-1937-termination-trait/issue-103052-2.stderr → tests/ui/rfc-1937-termination-trait/issue-103052-2.current.stderr
View File

@ -1,11 +1,11 @@
error[E0277]: the trait bound `Something: Termination` is not satisfied error[E0277]: the trait bound `Something: Termination` is not satisfied
--> $DIR/issue-103052-2.rs:12:22 --> $DIR/issue-103052-2.rs:15:22
| |
LL | fn main() -> Something { LL | fn main() -> Something {
| ^^^^^^^^^ the trait `Termination` is not implemented for `Something` | ^^^^^^^^^ the trait `Termination` is not implemented for `Something`
| |
note: required by a bound in `Main::main::{opaque#0}` note: required by a bound in `Main::main::{opaque#0}`
--> $DIR/issue-103052-2.rs:6:27 --> $DIR/issue-103052-2.rs:9:27
| |
LL | fn main() -> impl std::process::Termination; LL | fn main() -> impl std::process::Termination;
| ^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Main::main::{opaque#0}` | ^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Main::main::{opaque#0}`

15
tests/ui/rfc-1937-termination-trait/issue-103052-2.next.stderr Normal file
View File

@ -0,0 +1,15 @@
error[E0277]: the trait bound `Something: Termination` is not satisfied
--> $DIR/issue-103052-2.rs:15:22
|
LL | fn main() -> Something {
| ^^^^^^^^^ the trait `Termination` is not implemented for `Something`
|
note: required by a bound in `Main::{opaque#0}`
--> $DIR/issue-103052-2.rs:9:27
|
LL | fn main() -> impl std::process::Termination;
| ^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Main::{opaque#0}`
error: aborting due to previous error
For more information about this error, try `rustc --explain E0277`.

6
tests/ui/rfc-1937-termination-trait/issue-103052-2.rs
View File

@ -1,3 +1,6 @@
// [next] compile-flags: -Zlower-impl-trait-in-trait-to-assoc-ty
// revisions: current next
#![feature(return_position_impl_trait_in_trait)] #![feature(return_position_impl_trait_in_trait)]
#![allow(incomplete_features)] #![allow(incomplete_features)]
@ -9,7 +12,8 @@ mod child {
struct Something; struct Something;
impl Main for () { impl Main for () {
fn main() -> Something { //~ ERROR the trait bound `Something: Termination` is not satisfied fn main() -> Something {
//~^ ERROR the trait bound `Something: Termination` is not satisfied
Something Something
} }
} }