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:

まず、報告されているバージョン 3.8.0-dev.20191213 を使用して、提供された TypeScript の再現コードを declaration emit 付きでコンパイルし、実際の宣言を期待される出力と比較します。関数の戻り値の型の推論と出力を担うコンパイラパスを追跡します。完了の条件は、出力された宣言が、期待される動作に示されている個別の enum メンバーと絞り込まれた交差型を保持することです。