user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Wf is not coinductive

Browse source
This commit is contained in:
Michael Goulet 2025-04-28 16:36:25 +00:00
parent 25cdf1f674
commit f918b89f61
2 changed files with 19 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

17
tests/ui/associated-types/issue-64855.stderr
View file

@ -10,6 +10,19 @@ help: this trait has no implementations, consider adding one
LL | pub trait Foo {
| ^^^^^^^^^^^^^
error: aborting due to 1 previous error
error[E0275]: overflow evaluating the requirement `Bar<T> well-formed`
--> $DIR/issue-64855.rs:5:46
|
LL | pub struct Bar<T>(<Self as Foo>::Type) where Self: ;
| ^^^^
|
note: required by a bound in `Bar`
--> $DIR/issue-64855.rs:5:46
|
LL | pub struct Bar<T>(<Self as Foo>::Type) where Self: ;
| ^^^^ required by this bound in `Bar`
For more information about this error, try `rustc --explain E0277`.
error: aborting due to 2 previous errors
Some errors have detailed explanations: E0275, E0277.
For more information about an error, try `rustc --explain E0275`.