should allow type predicates when `isType(badInput as any)`

Bug Report

🔎 Search Terms

🕗 Version & Regression Information

• This is a crash
• This changed between versions ______ and _______
• This is the behavior in every version I tried, and I reviewed the FAQ for entries about _________
• I was unable to test this on prior versions because _______

⏯ Playground Link

https://www.typescriptlang.org/play?#code/LAKAZgrgdgxgLgSwPZQAQIM4EEBOOCGAngBQJQAOEcAXKvlIQNoC6qAPqlBALYBGApjgCUtMpTjoMdBi1ABvUAEgc-OBBxo4OCP1ABfUKAA2q1L3wATAJIUqtDFrIBzANyGQCMKlLY8RYubWthL4UvSEQkLySoE24gB0AFZIZMQA5GlRIAYgoAD0eagAAnAYALQITlBIKqCe3pi4BCSxwZHRIIqtCcmpGVk5QA

💻 Code

function isArray(input: any[] | number): input is any[]
{
	return true
}

let badInput: string;

if (isArray(badInput as any))
{
	badInput.join('')
}

// @ts-ignore
if (isArray(badInput))
{
	badInput.join('')
}

🙁 Actual behavior

🙂 Expected behavior

badInput should know as array when use as any

if (isArray(badInput as any))
{
	badInput.join('')
}

リンクされた TypeScript Playground から始め、isArray(badInput as any) と @ts-ignore のケースの違いを再現してください。ユーザー定義型述語に関する型チェックの挙動を読み、それぞれの分岐内で推論される型を比較してください。キャストした呼び出しによって診断を抑制せずに badInput が配列へ絞り込まれれば完了です。