Analyzer fails to use proper context type for conditions of conditional expressions

[stereotype441]

Consider the following code:

T castObject<T>(Object value) => value as T;

main() {
  print((castObject(true)..whatever()) ? 1 : 2);
}

The CFE analyzes the subexpression castObject(true)..whatever() using a context type of bool, so it interprets it as castObject<bool>(true)..whatever(). Since castObject<bool>(true) has type bool, the method lookup of whatever fails, and the CFE issues the compile-time error:

Error: The method 'whatever' isn't defined for the class 'bool'.
Try correcting the name to the name of an existing method, or defining a method named 'whatever'.
  print((castObject(true)..whatever()) ? 1 : 2);
                           ^^^^^^^^

The analyzer, on the other hand, analyzes the subexpression castObject(true)..whatever() with a null context type, so it interprets it as castObject<dynamic>(true)..whatever(). Since castObject<dynamic>(true) has type dynamic, the method lookup of whatever is not type checked, so the analyzer issues no error.

I believe the CFE's behavior is correct, and this is an oversight in the analyzer implementation.