#60881

[NamHaiBui]

Fixes #60881

Solution:

• src/compiler/checker.ts: Added a new condition to check if a type is assignable to another type and report an error if it is constrained to be a subtype.

• src/compiler/diagnosticMessages.json: Added a new error message for types constrained to be subtypes of other types.

[NamHaiBui]

@NamHaiBui please read the following Contributor License Agreement(CLA). If you agree with the CLA, please reply with the following information.

@microsoft-github-policy-service agree [company="{your company}"]

Options:

• (default - no company specified) I have sole ownership of intellectual property rights to my Submissions and I am not making Submissions in the course of work for my employer.

@microsoft-github-policy-service agree

• (when company given) I am making Submissions in the course of work for my employer (or my employer has intellectual property rights in my Submissions by contract or applicable law). I have permission from my employer to make Submissions and enter into this Agreement on behalf of my employer. By signing below, the defined term “You” includes me and my employer.

@microsoft-github-policy-service agree company="Microsoft"

Contributor License Agreement