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?