Issue 3847. Allow non-constant instance variable initializers

compiler/java/com/google/dart/compiler/resolver/CompileTimeConstantAnalyzer.java

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 package com.google.dart.compiler.resolver;
 
 import com.google.common.collect.Maps;
 import com.google.common.collect.Sets;
 import com.google.dart.compiler.DartCompilationError;
 import com.google.dart.compiler.DartCompilationPhase;
@@ skipping 604 matching lines @@
         return null;
       }
       return super.visitArrayLiteral(node);
     }
 
     @Override
     public Void visitField(DartField node) {
       if (node.getParent() != null) {
         DartNode pp = node.getParent().getParent();
         boolean isFinalTopLevelField = node.getModifiers().isFinal() && pp instanceof DartUnit;
-        boolean isInstanceField = pp instanceof DartClass;
-        if (isFinalTopLevelField || isInstanceField) {
+        boolean isClassField = pp instanceof DartClass;
+        boolean isStatic = node.getModifiers().isStatic();
+        boolean isConst = node.getModifiers().isConstant();
+        if (isFinalTopLevelField || (isClassField && isStatic) || isConst) {
           Type type = checkConstantExpression(node.getValue());
           if (node.getElement().getType().equals(dynamicType)) {
             node.getElement().setConstantType(type);
           }
           return null;
         }
+        if (isClassField && !isStatic) {
+          DartExpression value = node.getValue();
+          checkInstanceFieldInitializer(value);
+        }
       }
       return super.visitField(node);
     }
 
     @Override
     public Void visitClass(DartClass node) {
       ClassElement oldClassElement = currentClass;
       currentClass = node.getElement();
       try {
         return super.visitClass(node);
@@ skipping 126 matching lines @@
 
   private Type checkConstantExpression(DartExpression expression) {
     if (expression != null) {
       ExpressionVisitor visitor = new ExpressionVisitor();
       expression.accept(visitor);
       return visitor.getMostSpecificType(expression);
     }
     return null;
   }
 
-  public void exec (DartUnit unit) {
+  public void exec(DartUnit unit) {
     unit.accept(new FindCompileTimeConstantExpressionsVisitor());
   }
+
+  private void checkInstanceFieldInitializer(DartExpression value) {
+    if (value != null) {
+      value.accept(new ASTVisitor<Void>() {
+        @Override
+        public Void visitThisExpression(DartThisExpression node) {
+          context.onError(new DartCompilationError(node,
+              ResolverErrorCode.CANNOT_USE_THIS_IN_INSTANCE_FIELD_INITIALIZER));
+          return null;
+        }
+        @Override
+        public Void visitIdentifier(DartIdentifier node) {
+          NodeElement element = node.getElement();
+          if (ElementKind.of(element) == ElementKind.FIELD) {
+            FieldElement fieldElement = (FieldElement) element;
+            if (!fieldElement.isStatic()) {
+              context.onError(new DartCompilationError(node,
+                  ResolverErrorCode.CANNOT_USE_INSTANCE_FIELD_IN_INSTANCE_FIELD_INITIALIZER));
+            }
+          }
+          return null;
+        }
+      });
+    }
+  }
 }