WIP: Fix #2844

pom.xml

@@ -455,7 +455,7 @@
         <dependency>
             <groupId>org.rascalmpl</groupId>
             <artifactId>typepal</artifactId>
-            <version>0.17.0</version>
+            <version>0.17.1-SNAPSHOT</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/CollectExpression.rsc

@@ -1052,7 +1052,7 @@ void collect(current: (Expression) `<Expression e> [ <OptionalExpression ofirst>
 // ---- fieldAccess
 
 void collect(current: (Expression) `<Expression expression> . <Name field>`, Collector c){
-    c.useViaType(expression, field, {fieldId(), keywordFieldId()});
+    c.useViaTypeNoAutoFact(expression, field, {fieldId(), keywordFieldId()});
     c.calculate("field access", current, [expression, field],
         AType(Solver s){
             expType = s.getType(expression);

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

@@ -484,7 +484,7 @@ test bool ADTWithTypeParameterAndKW2() = checkModuleOK("
         void f() { D[int] x = d1(10); int m = x.kw; }
     ");
 
-test bool ADTWithTypeParameterAndKW3() = checkModuleOK("
+test bool ADTWithTypeParameterAndKW3() = unexpectedTypeInModule("
     module ADTWithTypeParameterAndKW3
         data D[&T] = d1(&T n, &T kw = n);
         void f() { D[int] x = d1(10); str m = x.kw; }