Rollup merge of #133216 - compiler-errors:const-fn, r=lcnr

Implement `~const Fn` trait goal in the new solver

Split out from rust-lang/rust#132329 since this should be easier to review on its own.

r? lcnr