sgjesse@google.com
9ab265364b
Based on the guarenteed types a field is initialized to in both the initializer lists and constructor bodies give an optimistic type for this field. Based on all the field setters and invoked setters for that field turn this optimistic type into either a propagated type or a guarenteed type. R=kasperl@google.com, floitsch@google.com BUG= TEST= Review URL: https://chromiumcodereview.appspot.com//10638013 git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@9019 260f80e4-7a28-3924-810f-c04153c831b5