From 2eb311132e75a9a6a0ef9a0f03f050983bedc257 Mon Sep 17 00:00:00 2001 From: Anders Hejlsberg Date: Mon, 13 Jul 2020 15:02:04 -0700 Subject: [PATCH] Check assignable-to before definitely-assignable-to --- src/compiler/checker.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts index 89ec2cd8a2a..d04a211c2cd 100644 --- a/src/compiler/checker.ts +++ b/src/compiler/checker.ts @@ -15013,7 +15013,7 @@ namespace ts { } function isTypeDefinitelyAssignableTo(source: Type, target: Type): boolean { - return isTypeRelatedTo(source, target, definitelyAssignableRelation); + return isTypeAssignableTo(source, target) && isTypeRelatedTo(source, target, definitelyAssignableRelation); } // An object type S is considered to be derived from an object type T if