| //! This test caused a cycle error when checking whether the | |
| //! return type is `Freeze` during const checking, even though | |
| //! the information is readily available. | |
| //@ revisions: current next | |
| //@[next] compile-flags: -Znext-solver | |
| //@ check-pass | |
| const fn f() -> impl Eq { | |
| g() | |
| } | |
| const fn g() {} | |
| fn main() {} |