Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

WF is no longer coinductive? #169

Open
compiler-errors opened this issue Mar 21, 2025 · 3 comments
Open

WF is no longer coinductive? #169

compiler-errors opened this issue Mar 21, 2025 · 3 comments
Labels
A-coinduction S-breaking-change

Comments

@compiler-errors
Copy link
Member

Trivial WF cycles from where clauses seem to have broken in rust-lang/rust#136824.

struct Foo where Foo:;
@compiler-errors
Copy link
Member Author

Found from issue-64855-2.rs in the suite.

@lcnr
Copy link
Contributor

lcnr commented Mar 22, 2025

I am not sure whether it should be 😅 let's wait until we encounter this in the wild.

@compiler-errors
Copy link
Member Author

💀

@lcnr lcnr mentioned this issue Mar 23, 2025
Merged
@lcnr lcnr moved this from unknown to potentially irrelevant in -Znext-solver=globally Apr 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-coinduction S-breaking-change
Projects
-Znext-solver=globally
Status: potentially irrelevant
Milestone
No milestone
Development

No branches or pull requests
2 participants
@compiler-errors @lcnr