Auto merge of #116899 - compiler-errors:closure-sig-infer, r=lcnr

Add a test showing failing closure signature inference in new solver

Been thinking a bit about how to make this test pass... but we don't actually have any good tests exercising this behavior in the suite.

r? lcnr

Author: bors