Print static types of conditional expressions.

pkg/front_end/testcases/rasta/super_operator.dart.direct.expect

 library;
 import self as self;
 import "dart:core" as core;
 
 class A extends core::Object {
   constructor •() → void
     : super core::Object::•()
     ;
   operator +(core::String s) → dynamic
     return null;
   operator [](dynamic i) → dynamic
     return null;
   operator []=(dynamic i, dynamic val) → dynamic {}
 }
 class B extends self::A {
   constructor •() → void
     : super self::A::•()
     ;
   operator +(core::String s) → dynamic
-    return this.{=self::A::+}("${s}${s}");
+    return super.+("${s}${s}");
   operator [](dynamic i) → dynamic
-    return this.{=self::A::[]}(i);
+    return super.{self::A::[]}(i);
   operator []=(dynamic i, dynamic val) → dynamic
-    return let final dynamic #t1 = let final dynamic #t2 = i in let final dynamic #t3 = i = #t2.+(1) in #t2 in let final dynamic #t4 = this.{=self::A::[]}(#t1).+(val) in let final dynamic #t5 = this.{=self::A::[]=}(#t1, #t4) in #t4;
+    return let final dynamic #t1 = let final dynamic #t2 = i in let final dynamic #t3 = i = #t2.+(1) in #t2 in let final dynamic #t4 = super.[](#t1).+(val) in let final dynamic #t5 = super.[]=(#t1, #t4) in #t4;
 }
 class Autobianchi extends core::Object {
   constructor •() → void
     : super core::Object::•()
     ;
   method g() → dynamic
-    return this.{=core::Object::noSuchMethod}(new core::_InvocationMirror::•("[]", <dynamic>[0, 2, 2].toList(growable: false), <dynamic>[this, 0].toList(growable: false), true));
+    return super.[](0);
 }