WF is no longer coinductive?

[compiler-errors]

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

struct Foo where Foo:;

[compiler-errors]

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

[lcnr]

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

[compiler-errors]

💀