Salsa type inference could pass through argument types

[alexdima]

Testing #2218

Would be nice if it knew the result is a string.

[egamma]

This issue was moved to microsoft/TypeScript#6668