Skip to content

Commit 55512db

Browse files
authored
Rollup merge of rust-lang#136291 - lcnr:compare-mode, r=oli-obk
some test suite cleanups found while checking `compare-mode next-solver` r? `@oli-obk` <sub> [lcnr](https://github.com/rust-lang/rust/commits?author=lcnr) authored and JJ_EMPTY_STRING committed </sub>
2 parents b87df23 + fa6b95f commit 55512db

11 files changed

+10
-44
lines changed

Diff for: tests/ui/generic-associated-types/issue-90014-tait2.rs

+1-2
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,6 @@
33
//! Unfortunately we don't even reach opaque type collection, as we ICE in typeck before that.
44
//! See #109281 for the original report.
55
//@ edition:2018
6-
//@ error-pattern: expected generic lifetime parameter, found `'a`
7-
86
#![feature(type_alias_impl_trait)]
97

108
use std::future::Future;
@@ -24,6 +22,7 @@ impl<'x, T: 'x> Trait<'x> for (T,) {
2422
impl Foo<'_> {
2523
fn make_fut(&self) -> Box<dyn for<'a> Trait<'a, Thing = Fut<'a>>> {
2624
Box::new((async { () },))
25+
//~^ ERROR expected generic lifetime parameter, found `'a`
2726
}
2827
}
2928

Diff for: tests/ui/generic-associated-types/issue-90014-tait2.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error[E0792]: expected generic lifetime parameter, found `'a`
2-
--> $DIR/issue-90014-tait2.rs:26:9
2+
--> $DIR/issue-90014-tait2.rs:24:9
33
|
44
LL | type Fut<'a> = impl Future<Output = ()>;
55
| -- this generic parameter must be used with a generic lifetime parameter

Diff for: tests/ui/traits/sized-coniductive.rs

-14
This file was deleted.

Diff for: tests/ui/traits/solver-cycles/129541-recursive-struct-and-array-impl.rs

-23
This file was deleted.

Diff for: tests/ui/traits/solver-cycles/129541-recursive-struct.rs

+5
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,17 @@
11
// Regression test for #129541
22

3+
//@ revisions: unique multiple
34
//@ check-pass
45

56
trait Bound {}
67
trait Normalize {
78
type Assoc;
89
}
910

11+
#[cfg(multiple)]
12+
impl<T: Bound> Normalize for T {
13+
type Assoc = T;
14+
}
1015
impl<T: Bound> Normalize for [T] {
1116
type Assoc = T;
1217
}

Diff for: tests/ui/wf/wf-trait-default-fn-ret.rs

+1-2
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
1-
// Check that we test WF conditions for fn arguments. Because the
2-
// current code is so goofy, this is only a warning for now.
1+
// Check that we test WF conditions for fn arguments.
32

43
#![feature(rustc_attrs)]
54
#![allow(dead_code)]

Diff for: tests/ui/wf/wf-trait-default-fn-ret.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
error[E0277]: the trait bound `Self: Eq` is not satisfied
2-
--> $DIR/wf-trait-default-fn-ret.rs:11:22
2+
--> $DIR/wf-trait-default-fn-ret.rs:10:22
33
|
44
LL | fn bar(&self) -> Bar<Self> {
55
| ^^^^^^^^^ the trait `Eq` is not implemented for `Self`
66
|
77
note: required by a bound in `Bar`
8-
--> $DIR/wf-trait-default-fn-ret.rs:8:14
8+
--> $DIR/wf-trait-default-fn-ret.rs:7:14
99
|
1010
LL | struct Bar<T:Eq+?Sized> { value: Box<T> }
1111
| ^^ required by this bound in `Bar`

0 commit comments

Comments
 (0)