This is actually I think similar to an issue I've been dealing with lately, illustrated by this playground.
I settled on using an identity function with the expected bounds to "fix" the type of the inferred closure.
1 Like