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 窄化为数组时，即表示完成。