Don't pick T: FnPtr
nested goals as the leaf goal in diagnostics for new solver#135866
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 22, 2025
T: FnPtr
nested goals as the leaf goal in diagnostics for new solver#135866