Jon Whitehead

Will this include the option for simply omitting trailing type arguments, and having them automatically set as inferred? Ie for these to be equivalent: ``` foo(); foo(); ```

@weswigham sorry I wasn't fully clear, I meant in the case when the trailing type arguments are optional / have defaults, so in situations where they can already be left...

I'm struggling to see how this could lead to an ambiguity that wasn't already there sorry, even with multiple signatures. The change I'm asking about is only about how unprovided...