Strange behavior default generic parameter type

[quinedot]

@steffahn

Can you mention some related threads? Or say what you’d expect from a more “complete” version of the feature?

This thread, and I think there was one other inbetween. Documentation on where they work, where they don't, and how it relates to inference would be a nice start -- at least, I failed to find any. There's a couple links in those comments; this issues about on how RFC 213 stalled out I think is the main one highlighting shortfalls. There are other issues linked in those discussions in turn (e.g. a documentation request and another one, this bug, and so on).