- Introduce the notion of setter constraints in the type inferrer, where we record things like: fie…

tests/compiler/dart2js_native/field_type2_test.dart

Index: tests/compiler/dart2js_native/field_type2_test.dart
===================================================================
--- tests/compiler/dart2js_native/field_type2_test.dart	(revision 0)
+++ tests/compiler/dart2js_native/field_type2_test.dart	(revision 0)
@@ -0,0 +1,27 @@
+// Copyright (c) 2013, 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.
+
+// Test that a closure call on a native field is recognized by the
+// type inferrer.
+
+class Node native "*Node" {
+  final parentNode;
+}
+
+makeNode(parent) native;
+
+void setup() native """
+// This code is all inside 'setup' and so not accesible from the global scope.
+function Node(parent){ this.parentNode = parent; }
+makeNode = function(p){return new Node(p);};
+""";
+
+
+main() {
+  setup();
+  var node = makeNode(null);
+  if (node.parentNode != null) {
+    node = node.parentNode();
+  }
+}