Issue 4294. Const constructor cannot call methods

compiler/javatests/com/google/dart/compiler/resolver/CompileTimeConstantTest.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 static com.google.dart.compiler.common.ErrorExpectation.errEx;
 
 import com.google.common.base.Joiner;
 
@@ skipping 101 matching lines @@
             "// filler filler filler filler filler filler filler filler filler filler",
             "class Object {}",
             "foo() {}",
             "class A {",
             " final v;",
             " const A() : v = foo();",
             "}",
             ""),
         errEx(ResolverErrorCode.EXPECTED_CONSTANT_EXPRESSION, 6, 18, 5));
   }
-  
+
+  /**
+   * <p>
+   * http://code.google.com/p/dart/issues/detail?id=4294
+   */
+  public void test_constConstructor_redirectInvocation() throws Exception {
+    resolveAndTestCtConstExpectErrors(
+        Joiner.on("\n").join(
+            "// filler filler filler filler filler filler filler filler filler filler",
+            "class Object {}",
+            "class A {",
+            "  final v;",
+            "  const A(this.v);",
+            "  const A.hasValue() : this(generateValue());",
+            "  static generateValue() => 42;",
+            "}"),
+        errEx(ResolverErrorCode.EXPECTED_CONSTANT_EXPRESSION, 6, 29, 15));
+  }
+
+  /**
+   * <p>
+   * http://code.google.com/p/dart/issues/detail?id=4294
+   */
+  public void test_constConstructor_superInvocation() throws Exception {
+    resolveAndTestCtConstExpectErrors(
+        Joiner.on("\n").join(
+            "// filler filler filler filler filler filler filler filler filler filler",
+            "class Object {}",
+            "class A {",
+            "  final v;",
+            "  const A(this.v);",
+            "}",
+            "class B extends A {",
+            "  const A() : super(generateValue());",
+            "  static generateValue() => 42;",
+            "}",
+            ""),
+        errEx(ResolverErrorCode.EXPECTED_CONSTANT_EXPRESSION, 8, 21, 15));
+  }
+
   /**
    * At compile time we "trust" user that parameter will have correct type.
    */
   public void test_constConstructor_constInitializerValue_plusDynamic() {
     resolveAndTestCtConstExpectErrors(
         Joiner.on("\n").join(
             "// filler filler filler filler filler filler filler filler filler filler",
             "class Object {}",
             "class A {",
             " final v;",
@@ skipping 783 matching lines @@
             "interface int {}",
             "class A {",
             "  static final int value7 = ('Invalid') / 1;",
             "  static final int value8 = value7 & 0xFFFF;",                        
             "}"),
             errEx(ResolverErrorCode.EXPECTED_CONSTANT_EXPRESSION_NUMBER, 4, 29, 11),
             errEx(ResolverErrorCode.EXPECTED_CONSTANT_EXPRESSION_NUMBER, 4, 29, 11),
             errEx(ResolverErrorCode.EXPECTED_CONSTANT_EXPRESSION_INT, 5, 29, 6));            
   }
 }