Skip to content

Commit 836ea25

Browse files
lcnrlcnr
committed
add RPITIT tests: method compat auto trait leakage
1 parent 2e79f7c commit 836ea25

4 files changed

+224
-0
lines changed

Diff for: ‎tests/ui/impl-trait/in-trait/method-compatability-via-leakage-cycle.current.stderr

+58
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,58 @@
1+
error[E0391]: cycle detected when computing type of `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::{anon_assoc#0}`
2+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:24
3+
|
4+
LL | fn foo(b: bool) -> impl Sized {
5+
| ^^^^^^^^^^
6+
|
7+
note: ...which requires comparing an impl and trait method signature, inferring any hidden `impl Trait` types in the process...
8+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:24
9+
|
10+
LL | fn foo(b: bool) -> impl Sized {
11+
| ^^^^^^^^^^
12+
= note: ...which requires evaluating trait selection obligation `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo::{opaque#0}: core::marker::Send`...
13+
note: ...which requires computing type of opaque `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo::{opaque#0}`...
14+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:24
15+
|
16+
LL | fn foo(b: bool) -> impl Sized {
17+
| ^^^^^^^^^^
18+
note: ...which requires borrow-checking `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo`...
19+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
20+
|
21+
LL | fn foo(b: bool) -> impl Sized {
22+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
23+
note: ...which requires promoting constants in MIR for `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo`...
24+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
25+
|
26+
LL | fn foo(b: bool) -> impl Sized {
27+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
28+
note: ...which requires checking if `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo` contains FFI-unwind calls...
29+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
30+
|
31+
LL | fn foo(b: bool) -> impl Sized {
32+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
33+
note: ...which requires building MIR for `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo`...
34+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
35+
|
36+
LL | fn foo(b: bool) -> impl Sized {
37+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
38+
note: ...which requires match-checking `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo`...
39+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
40+
|
41+
LL | fn foo(b: bool) -> impl Sized {
42+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
43+
note: ...which requires type-checking `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo`...
44+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
45+
|
46+
LL | fn foo(b: bool) -> impl Sized {
47+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
48+
= note: ...which again requires computing type of `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::{anon_assoc#0}`, completing the cycle
49+
note: cycle used when checking that `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>` is well-formed
50+
--> $DIR/method-compatability-via-leakage-cycle.rs:17:1
51+
|
52+
LL | impl Trait for u32 {
53+
| ^^^^^^^^^^^^^^^^^^
54+
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
55+
56+
error: aborting due to 1 previous error
57+
58+
For more information about this error, try `rustc --explain E0391`.

Diff for: ‎tests/ui/impl-trait/in-trait/method-compatability-via-leakage-cycle.next.stderr

+122
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,122 @@
1+
error[E0391]: cycle detected when computing type of `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::{anon_assoc#0}`
2+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:24
3+
|
4+
LL | fn foo(b: bool) -> impl Sized {
5+
| ^^^^^^^^^^
6+
|
7+
note: ...which requires comparing an impl and trait method signature, inferring any hidden `impl Trait` types in the process...
8+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
9+
|
10+
LL | fn foo(b: bool) -> impl Sized {
11+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
12+
note: ...which requires computing type of `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo::{opaque#0}`...
13+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:24
14+
|
15+
LL | fn foo(b: bool) -> impl Sized {
16+
| ^^^^^^^^^^
17+
note: ...which requires computing type of opaque `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo::{opaque#0}`...
18+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:24
19+
|
20+
LL | fn foo(b: bool) -> impl Sized {
21+
| ^^^^^^^^^^
22+
note: ...which requires borrow-checking `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo`...
23+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
24+
|
25+
LL | fn foo(b: bool) -> impl Sized {
26+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
27+
note: ...which requires promoting constants in MIR for `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo`...
28+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
29+
|
30+
LL | fn foo(b: bool) -> impl Sized {
31+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
32+
note: ...which requires checking if `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo` contains FFI-unwind calls...
33+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
34+
|
35+
LL | fn foo(b: bool) -> impl Sized {
36+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
37+
note: ...which requires building MIR for `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo`...
38+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
39+
|
40+
LL | fn foo(b: bool) -> impl Sized {
41+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
42+
note: ...which requires match-checking `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo`...
43+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
44+
|
45+
LL | fn foo(b: bool) -> impl Sized {
46+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
47+
note: ...which requires type-checking `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo`...
48+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
49+
|
50+
LL | fn foo(b: bool) -> impl Sized {
51+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
52+
= note: ...which again requires computing type of `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::{anon_assoc#0}`, completing the cycle
53+
note: cycle used when checking that `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>` is well-formed
54+
--> $DIR/method-compatability-via-leakage-cycle.rs:17:1
55+
|
56+
LL | impl Trait for u32 {
57+
| ^^^^^^^^^^^^^^^^^^
58+
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
59+
60+
error[E0391]: cycle detected when computing type of `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::{anon_assoc#0}`
61+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:24
62+
|
63+
LL | fn foo(b: bool) -> impl Sized {
64+
| ^^^^^^^^^^
65+
|
66+
note: ...which requires comparing an impl and trait method signature, inferring any hidden `impl Trait` types in the process...
67+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
68+
|
69+
LL | fn foo(b: bool) -> impl Sized {
70+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
71+
note: ...which requires computing type of `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo::{opaque#0}`...
72+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:24
73+
|
74+
LL | fn foo(b: bool) -> impl Sized {
75+
| ^^^^^^^^^^
76+
note: ...which requires computing type of opaque `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo::{opaque#0}`...
77+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:24
78+
|
79+
LL | fn foo(b: bool) -> impl Sized {
80+
| ^^^^^^^^^^
81+
note: ...which requires borrow-checking `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo`...
82+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
83+
|
84+
LL | fn foo(b: bool) -> impl Sized {
85+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
86+
note: ...which requires promoting constants in MIR for `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo`...
87+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
88+
|
89+
LL | fn foo(b: bool) -> impl Sized {
90+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
91+
note: ...which requires checking if `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo` contains FFI-unwind calls...
92+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
93+
|
94+
LL | fn foo(b: bool) -> impl Sized {
95+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
96+
note: ...which requires building MIR for `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo`...
97+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
98+
|
99+
LL | fn foo(b: bool) -> impl Sized {
100+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
101+
note: ...which requires match-checking `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo`...
102+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
103+
|
104+
LL | fn foo(b: bool) -> impl Sized {
105+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
106+
note: ...which requires type-checking `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo`...
107+
--> $DIR/method-compatability-via-leakage-cycle.rs:21:5
108+
|
109+
LL | fn foo(b: bool) -> impl Sized {
110+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
111+
= note: ...which again requires computing type of `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::{anon_assoc#0}`, completing the cycle
112+
note: cycle used when checking that `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>` is well-formed
113+
--> $DIR/method-compatability-via-leakage-cycle.rs:17:1
114+
|
115+
LL | impl Trait for u32 {
116+
| ^^^^^^^^^^^^^^^^^^
117+
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
118+
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
119+
120+
error: aborting due to 2 previous errors
121+
122+
For more information about this error, try `rustc --explain E0391`.

Diff for: ‎tests/ui/impl-trait/in-trait/method-compatability-via-leakage-cycle.rs

+30
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
//@ revisions: current next
2+
//@[next] compile-flags: -Znext-solver
3+
//@ ignore-compare-mode-next-solver (explicit revisions)
4+
//@ known-bug: #139788
5+
6+
// Recursively using the trait method inside of an impl in case checking
7+
// method compatability relies on opaque type leakage currently causes a
8+
// cycle error.
9+
10+
trait Trait {
11+
// desugars to
12+
// type Assoc: Sized + Send;
13+
// fn foo(b: bool) -> Self::Assoc;
14+
fn foo(b: bool) -> impl Sized + Send;
15+
}
16+
17+
impl Trait for u32 {
18+
// desugars to
19+
// type Assoc = impl_rpit::<Self>;
20+
// fn foo(b: bool) -> Self::Assoc { .. }
21+
fn foo(b: bool) -> impl Sized {
22+
if b {
23+
u32::foo(false)
24+
} else {
25+
1u32
26+
}
27+
}
28+
}
29+
30+
fn main() {}

Diff for: ‎tests/ui/impl-trait/in-trait/method-compatability-via-leakage.rs

+14
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
//@ check-pass
2+
//@ revisions: current next
3+
//@[next] compile-flags: -Znext-solver
4+
//@ ignore-compare-mode-next-solver (explicit revisions)
5+
6+
trait Trait {
7+
fn foo() -> impl Sized + Send;
8+
}
9+
10+
impl Trait for u32 {
11+
fn foo() -> impl Sized {}
12+
}
13+
14+
fn main() {}

0 commit comments

Comments
 (0)