Issue 3223. Don't warn about types compatibility is one of the types was inferred

Issue 3223. Don't warn about types compatibility is one of the types was inferred
http://code.google.com/p/dart/issues/detail?id=3223


R=brianwilkerson@google.com
BUG=
TEST=

Committed: https://code.google.com/p/dart/source/detail?r=8080

[Brian Wilkerson, 2012-05-29 20:25:46]

Are those the only two places where we're inferring/propagating types? If not, I
think we need to update the other places to create an inferred type as well
(either in this or another CL). Otherwise, LGTM.

https://chromiumcodereview.appspot.com/10459012/diff/1/compiler/java/com/goog...
File compiler/java/com/google/dart/compiler/type/InferredType.java (right):

https://chromiumcodereview.appspot.com/10459012/diff/1/compiler/java/com/goog...
compiler/java/com/google/dart/compiler/type/InferredType.java:22: return (Type)
Proxy.newProxyInstance(type.getClass().getClassLoader(), new Class<?>[] {
Long term, I'm fairly certain that we don't want this implementation, but it's
very clever, so I'm fine with leaving it as a short-term solution.

[scheglov, 2012-05-29 21:27:51]

On 2012/05/29 20:25:46, Brian Wilkerson wrote:
> Are those the only two places where we're inferring/propagating types? If not,
I
> think we need to update the other places to create an inferred type as well
> (either in this or another CL). Otherwise, LGTM.

  Yes, there are only two places where we set inferred types.