Don't pick T: FnPtr nested goals as the leaf goal in diagnostics for new solver#135866
Merged
Merged
T: FnPtr nested goals as the leaf goal in diagnostics for new solver#135866