From c1f2ccdc4a92b02db916467f5f67243ab24fb13f Mon Sep 17 00:00:00 2001
From: Dave Holoway <adelphes@gmail.com>
Date: Thu, 18 Jun 2020 12:45:04 +0100
Subject: [PATCH] allow assigns for assignable type arguments

---
 langserver/java/expression-resolver.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/langserver/java/expression-resolver.js b/langserver/java/expression-resolver.js
index 524f56c..527260e 100644
--- a/langserver/java/expression-resolver.js
+++ b/langserver/java/expression-resolver.js
@@ -167,7 +167,7 @@ function isTypeArgumentCompatible(dest_typevar, value_typevar_type) {
         // inferred type arguments of the form `x = List<>` are compatible with every destination type variable
         return value_typevar_type.typeVariable instanceof InferredTypeArgument;
     }
-    return dest_typevar.type === value_typevar_type;
+    return isTypeAssignable(dest_typevar.type, value_typevar_type);
 }
 
 /**