random error TS2345 type incompatible

TypeScript Version: 3.7.x-dev.201xxxxx

Search Terms:

Code

https://github.com/bluelovers/ws-glob/blob/fa6b1f033b353065dda276e524c680a81ee8c36d/packages/%40lazy-glob/rename/lib/util/globGroupsCollection.ts#L130-L149

		this._globPartsArray.forEach((g: IPartsPattern, idx) =>
		{
			// Use matches[idx + 1] because whole match is at index 0 of the array of matches
			if (g === EnumWildcard.Asterisk || g === EnumWildcard.QuestionMark)
			{
				this._groups.push(Object.freeze({
					type: EnumPartsAstType.wildcard,
					pattern: g,
					match: matches[idx + 1],
				}));
			}
			else
			{
				this._groups.push(Object.freeze({
					type: EnumPartsAstType.literal,
					pattern: g,
					match: matches[idx + 1],
				}));
			}
		});

Expected behavior:

no error by random happen

Actual behavior:

bandicam 2020-07-23 09-49-14-211.zip

Error:(143, 23) TS2345: Argument of type 'Readonly<{ type: EnumPartsAstType; pattern: string; match: string; }>' is not assignable to parameter of type 'Error | IAsterisk | IQuestionMark | ILiteral'.
  Type 'Readonly<{ type: EnumPartsAstType; pattern: string; match: string; }>' is not assignable to type 'ILiteral'.
    Types of property 'type' are incompatible.
      Type 'EnumPartsAstType' is not assignable to type 'EnumPartsAstType.literal'.

Playground Link:

Related Issues:

まず、報告された TypeScript 3.7.x-dev バージョンと現行バージョンを使って、packages/@lazy-glob/rename/lib/util/globGroupsCollection.ts の 130-149 行目にあるエラーを再現します。_groups.push に渡されるオブジェクトの推論された型を調べ、診断が再現可能かどうかを判断します。完了の条件は、最小限の再現例、または適切なテストを伴うコンパイラの不具合の確認です。