Feat/new-destructuring-test

pom.xml

@@ -458,7 +458,7 @@
         <dependency>
             <groupId>org.rascalmpl</groupId>
             <artifactId>typepal</artifactId>
-            <version>0.16.6-RC1</version>
+            <version>0.16.6-RC2</version>
            <!-- <scope>provided</scope> for shade plugin it can't be provided. At least the rascal dependency in typepal should be provided -->
            <scope>compile</scope>
         </dependency>

src/org/rascalmpl/compiler/lang/rascalcore/check/tests/DataDeclarationTCTests.rsc

@@ -551,4 +551,18 @@ test bool clashingFieldNamesInImportsOk(){
     writeModule("module B data D = d2(str x);");
 
     return checkModuleOK("module C import A;import B;");
+}
+test bool fieldSelectionFromDestructuringAssignment(){ // ht @toinehartman
+    writeModule("module A data TModel = tmodel();");
+    writeModule("module B
+                 extend A;
+                 data TModel(set[str] kwArg = {});");
+    return checkModuleOK(
+                "module C
+                 import B;
+                 value main() {
+                    \<tm, _\> = \<tmodel(), true\>; // tm\'s type is a tvar, is it handled below?
+
+                    return tm.kwArg; // Potential error: Unresolved type for useViaType `kwArg` in |file:.....|
+                 }");
 }