Reuse type assertion syntax with literal and tuple values for its type assertion

[falsandtru]

This is very simple, clear, and easy syntax extension since this is reusing of verbose existing syntax. And it has no confusion neither semantic nor syntactic.

let b = true!; // type is true
let n = 0!; // type is 0
let s = 'a'!; // type is 'a'
let a = [0!]; // type is 0[]
let t = [0]!; // type is [number]

cc @sandersn @ahejlsberg

[yortus]

Looks the same as the suggestion in #10195 (comment).

[falsandtru]

Yep, but that issue is not opened for this syntax.

[yortus]

Sure, but since discussion is already going on there about this syntax, so you might want to at least reference it from this issue.

[falsandtru]

Of course; I've invited that discussion now.

[krryan]

Could you use it on inner types? As in,

let t = [0!]!; // type is [0]

And if so, what happens if you use it on an inner type, but not on outer types?

let t = [0!]; // type is ???

[RyanCavanaugh]

Tracking at #10195. Please don't post solutions for other issues as standalone issues.