multi return type declaration emit not as expected

TypeScript Version: 3.8.0-dev.20191213

Search Terms:

Code

origin code

export const enum EnumParseInputUrl
{
	UNKNOWN,
	STRING,
	URL,
	URLSEARCHPARAMS,
}

export function parseInputUrl<T extends string | number | URL | URLSearchParams>(_input: T)
{
	if (typeof _input === 'number')
	{
		let value = _input.toString();

		return {
			type: EnumParseInputUrl.STRING,
			_input,
			value,
		}
	}
	else if (typeof _input === 'string')
	{
		let value = _input.toString();

		return {
			type: EnumParseInputUrl.STRING,
			_input,
			value,
		}
	}
	else if (_input instanceof URL)
	{
		let value = _input;

		return {
			type: EnumParseInputUrl.URL,
			_input,
			value,
		}
	}
	else if (_input instanceof URLSearchParams)
	{
		let value = _input;

		return {
			type: EnumParseInputUrl.URLSEARCHPARAMS,
			_input,
			value,
		}
	}

	let value = _input.toString();

	return {
		type: EnumParseInputUrl.UNKNOWN,
		_input,
		value,
	}
}

the code of if i want export as expected

export function parseInputUrl<T extends string | number | URL | URLSearchParams>(_input: T)
{
	if (typeof _input === 'number')
	{
		let value = _input.toString();

		return {
			type: EnumParseInputUrl.STRING as const,
			_input,
			value,
		}
	}
	else if (typeof _input === 'string')
	{
		let value = _input.toString();

		return {
			type: EnumParseInputUrl.STRING as const,
			_input,
			value,
		}
	}
	else if (_input instanceof URL)
	{
		let value = _input;

		return {
			type: EnumParseInputUrl.URL as const,
			_input,
			value,
		}
	}
	else if (_input instanceof URLSearchParams)
	{
		let value = _input;

		return {
			type: EnumParseInputUrl.URLSEARCHPARAMS as const,
			_input,
			value,
		}
	}

	let value = _input.toString();

	return {
		type: EnumParseInputUrl.UNKNOWN as const,
		_input,
		value,
	}
}

Expected behavior:

export declare function parseInputUrl<T extends string | number | URL | URLSearchParams>(_input: T): {
    type: EnumParseInputUrl.STRING;
    _input: T & number;
    value: string;
} | {
    type: EnumParseInputUrl.STRING;
    _input: T & string;
    value: string;
} | {
    type: EnumParseInputUrl.URL;
    _input: T & URL;
    value: T & URL;
} | {
    type: EnumParseInputUrl.URLSEARCHPARAMS;
    _input: T & URLSearchParams;
    value: T & URLSearchParams;
} | {
    type: EnumParseInputUrl.UNKNOWN;
    _input: T;
    value: string;
};

Actual behavior:

export declare const enum EnumParseInputUrl {
    UNKNOWN = 0,
    STRING = 1,
    URL = 2,
    URLSEARCHPARAMS = 3
}
export declare function parseInputUrl<T extends string | number | URL | URLSearchParams>(_input: T): {
    type: EnumParseInputUrl;
    _input: T & URL;
    value: T & URL;
} | {
    type: EnumParseInputUrl;
    _input: T & URLSearchParams;
    value: T & URLSearchParams;
} | {
    type: EnumParseInputUrl;
    _input: T;
    value: string;
};

Playground Link:

Related Issues:

Inizia compilando la riproduzione TypeScript fornita con declaration emit usando la versione segnalata 3.8.0-dev.20191213 e confronta la dichiarazione effettiva con l'output atteso. Traccia il percorso del compilatore responsabile dell'inferenza e dell'emissione del tipo di ritorno della funzione; il lavoro è completo quando la dichiarazione emessa conserva i distinti membri dell'enum e le intersezioni ristrette mostrati nel comportamento atteso.