Does bug still exist?

[oriongonza]

This is unfortunately broken for <fndef as FnOnce<..>>::Output due to implied bounds, resulting in #114936.

https://rustc-dev-guide.rust-lang.org/solve/invariants.html#wfx-implies-wfnormalizex-

However the issue is closed. Is this still true?

[JohnTitor]

Indeed it seems to be fixed, we can remove that text now.

[patrickoliveira15]

Hey everyone!

I’ve opened a PR to remove the outdated TODO about goal inference invariance since this issue is now resolved. Big thanks to @JohnTitor for confirming the fix! Here's the link to the PR.