Implement ~const Fn trait goal in the new solver
#133216
Merged
~const Fn trait goal in the new solver
#133216