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('')
}

Beginne mit dem verlinkten TypeScript Playground und reproduziere den Unterschied zwischen isArray(badInput as any) und dem @ts-ignore-Fall. Lies das Typprüfungsverhalten rund um benutzerdefinierte Typprädikate und vergleiche den inferierten Typ innerhalb jedes Zweigs. Als erledigt gilt die Aufgabe, wenn der Aufruf mit Cast badInput zu einem Array verengt, ohne die Diagnose zu unterdrücken.