FR: More brilliant Type inference

[Jack-Works]

TypeScript Version: 2.6.1

Code

type Response200 = { url: string } & { response: Response & { status: 200 } }
type Response201 = { data: any[] } & { response: Response & { status: 201 } }
declare function request(): Response200 | Response201
const result = request()
switch (result.response.status) {
    case 200:
	result.response.status // <- (property) status: number & 200
	// Expected status: 200

	result // type = Response200 | Response201, Expected Response200
    break
}

[ORESoftware]

Can you add more of a description of the problem?

[DanielRosenwasser]

Partial duplicate of #18758 (also see #20127), though I am surprised we don't collapse number & 200 to 200.

[typescript-bot]

Automatically closing this issue for housekeeping purposes. The issue labels indicate that it is unactionable at the moment or has already been addressed.