Values bound in `match` have type Any instead of String about kaleidoscope

[propensive]

I think this is an unavoidable consequence of using whitebox macros, unfortunately.

If I remember correctly, the macro needs to generate code which might be a Tuple2[String, String], Tuple3[String, String, String] etc, and there's no common supertype of those which I can offer as the return type of the macro (which is what the IDE uses to infer the type) which would allow each of the extractions to be typed as Strings.

I don't think there's a way to avoid this, so I'll have to close, not-fixed.