kumar-01
diff --git a/‎src/compiler/checker.ts‎
Lines changed: 5 additions & 0 deletions b/‎src/compiler/checker.ts‎
Lines changed: 5 additions & 0 deletions
diff --git a/‎src/services/services.ts‎
Lines changed: 1 addition & 1 deletion b/‎src/services/services.ts‎
Lines changed: 1 addition & 1 deletion
@@ -7977,6 +7977,11 @@ namespace ts {
                 return true;
             }
             // An instance property must be accessed through an instance of the enclosing class
+            if (type.flags & TypeFlags.ThisType) {
+                // get the original type -- represented as the type constraint of the this type
+                type = getConstraintOfTypeParameter(<TypeParameter>type);
+            }
+            
             // TODO: why is the first part of this check here?
             if (!(getTargetType(type).flags & (TypeFlags.Class | TypeFlags.Interface) && hasBaseType(<InterfaceType>type, enclosingClass))) {
                 error(node, Diagnostics.Property_0_is_protected_and_only_accessible_through_an_instance_of_class_1, symbolToString(prop), typeToString(enclosingClass));
 
@@ -4105,7 +4105,7 @@ namespace ts {
                         let useConstructSignatures = callExpression.kind === SyntaxKind.NewExpression || callExpression.expression.kind === SyntaxKind.SuperKeyword;
                         let allSignatures = useConstructSignatures ? type.getConstructSignatures() : type.getCallSignatures();
 
-                        if (!contains(allSignatures, signature.target || signature)) {
+                        if (!contains(allSignatures, signature.target) && !contains(allSignatures, signature)) {
                             // Get the first signature if there
                             signature = allSignatures.length ? allSignatures[0] : undefined;
                         }
Original file line number	Diff line number	Diff line change
`@@ -4105,7 +4105,7 @@ namespace ts {`
`4105`	`4105`	`let useConstructSignatures = callExpression.kind === SyntaxKind.NewExpression \|\| callExpression.expression.kind === SyntaxKind.SuperKeyword;`
`4106`	`4106`	`let allSignatures = useConstructSignatures ? type.getConstructSignatures() : type.getCallSignatures();`
`4107`	`4107`
`4108`		`- if (!contains(allSignatures, signature.target \|\| signature)) {`
	`4108`	`+ if (!contains(allSignatures, signature.target) && !contains(allSignatures, signature)) {`
`4109`	`4109`	`// Get the first signature if there`
`4110`	`4110`	`signature = allSignatures.length ? allSignatures[0] : undefined;`
`4111`	`4111`	`}`