From 52db53e65a04c3d79cabf175cb0d03b199050731 Mon Sep 17 00:00:00 2001
From: Dave Holoway <adelphes@gmail.com>
Date: Sun, 7 Jun 2020 13:36:29 +0100
Subject: [PATCH] casting only applies to qualified term not a whole expression

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

diff --git a/langserver/java/body-parser3.js b/langserver/java/body-parser3.js
index c035611..2c91450 100644
--- a/langserver/java/body-parser3.js
+++ b/langserver/java/body-parser3.js
@@ -1512,7 +1512,7 @@ function rootTerm(tokens, locals, method, imports, typemap) {
                 if (!type) {
                     addproblem(tokens, ParseProblem.Error(close_bracket, 'Type expected'));
                 }
-                const cast_matches = expression(tokens, locals, method, imports, typemap)
+                const cast_matches = qualifiedTerm(tokens, locals, method, imports, typemap)
                 // cast any variables as values with the new type
                 const vars = cast_matches.variables.map(v => {
                     if (type && !isTypeCastable(v.type, type)) {