Change default inference from arrays to tuples and primitives to literals

I am working on functional project now and I'm getting a lot of errors related to too wide type inference for values. It looks like

function test(a: { data: 1 | 2 }) { return a }
const a = { data: 2 }
// Types of property 'data' are incompatible.
// Type 'number' is not assignable to type '2'.ts(2345)
const b = test(a)

There're really many errors like this, and the main problem is that you can convert type A to type B, but not vice versa.

type A = { data: 2 }
type B = { data: number }

So, I ask you to add a new compiler option (to not break existing code) that will make type checker infer types as narrow as possible. It will be very helpful for functional programming.

まず TypeScript の型チェッカーとコンパイラーオプションのドキュメントを確認し、期待される動作として issue の配列、プリミティブ、リテラル推論の例を使用します。最初にオプションの適用範囲と互換性ルールを定義します。オプションが無効な場合の既存の動作を変更せずに、要求された限定的な推論が機能すれば完了です。