bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Rollup merge of #97398 - JohnTitor:issue-82830, r=compiler-errors

Browse source 
Add regression test for #82830

Closes #82830
r? `@compiler-errors`
This commit is contained in:
Dylan DPC 2022-05-25 17:37:22 +02:00 • committed by GitHub
commit 5d43ae8ece
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 31 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

16
src/test/ui/traits/issue-82830.rs Normal file
View file

@ -0,0 +1,16 @@
trait A<Y, N> {
type B;
}
type MaybeBox<T> = <T as A<T, Box<T>>>::B;
struct P {
t: MaybeBox<P>, //~ ERROR: overflow evaluating the requirement `P: Sized`
}
impl<Y, N> A<Y, N> for P {
type B = N;
}
fn main() {
let t: MaybeBox<P>;
}

15
src/test/ui/traits/issue-82830.stderr Normal file
View file

@ -0,0 +1,15 @@
error[E0275]: overflow evaluating the requirement `P: Sized`
--> $DIR/issue-82830.rs:7:8
|
LL | t: MaybeBox<P>,
| ^^^^^^^^^^^
|
note: required because of the requirements on the impl of `A<P, Box<P>>` for `P`
--> $DIR/issue-82830.rs:10:12
|
LL | impl<Y, N> A<Y, N> for P {
| ^^^^^^^ ^
error: aborting due to previous error
For more information about this error, try `rustc --explain E0275`.