Use inferred type in the SSA builder for super calls, and fix a bug with operator== in the type inf…

tests/compiler/dart2js/simple_inferrer_test.dart

 // 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.
 
 import
     '../../../sdk/lib/_internal/compiler/implementation/types/types.dart'
     show TypeMask;
 
 import 'compiler_helper.dart';
 import 'parser_helper.dart';
@@ skipping 52 matching lines @@
 returnInt4() {
   return (42);
 }
 
 get topLevelGetter => 42;
 returnDynamic() => topLevelGetter(42);
 
 class A {
   factory A() = A.generative;
   A.generative();
+  operator==(other) => 42;
 
   get myField => 42;
   set myField(a) {}
   returnNum1() => ++myField;
   returnNum2() => ++this.myField;
   returnNum3() => this.myField += 42;
   returnNum4() => myField += 42;
   operator[](index) => 42;
   operator[]= (index, value) {}
   returnNum5() => ++this[0];
@@ skipping 18 matching lines @@
   returnInt1(true);
   returnInt2(true);
   returnInt3(true);
   returnInt4();
   returnDouble(true);
   returnGiveUp(true);
   returnNum3();
   returnNum4();
   returnIntOrNull(true);
   returnDynamic();
+  new A() == new B();
   new A()..returnNum1()
          ..returnNum2()
          ..returnNum3()
          ..returnNum4()
          ..returnNum5()
          ..returnNum6();
 
   new B()..returnNum1()
          ..returnNum2()
          ..returnNum3()
@@ skipping 33 matching lines @@
     var element = cls.lookupLocalMember(buildSourceString(methodName));
     Expect.equals(type, typesInferrer.returnTypeOf[element]);
   }
 
   checkReturnInClass('A', 'returnNum1', typesInferrer.numType);
   checkReturnInClass('A', 'returnNum2', typesInferrer.numType);
   checkReturnInClass('A', 'returnNum3', typesInferrer.numType);
   checkReturnInClass('A', 'returnNum4', typesInferrer.numType);
   checkReturnInClass('A', 'returnNum5', typesInferrer.numType);
   checkReturnInClass('A', 'returnNum6', typesInferrer.numType);
+  checkReturnInClass('A', '==', typesInferrer.giveUpType);
 
   checkReturnInClass('B', 'returnNum1', typesInferrer.numType);
   checkReturnInClass('B', 'returnNum2', typesInferrer.numType);
   checkReturnInClass('B', 'returnNum3', typesInferrer.numType);
   checkReturnInClass('B', 'returnNum4', typesInferrer.numType);
   checkReturnInClass('B', 'returnNum5', typesInferrer.numType);
   checkReturnInClass('B', 'returnNum6', typesInferrer.numType);
   checkReturnInClass('B', 'returnNum7', typesInferrer.numType);
   checkReturnInClass('B', 'returnNum8', typesInferrer.numType);
 
   checkFactoryConstructor(String className) {
     var cls = findElement(compiler, className);
     var element = cls.localLookup(buildSourceString(className));
     Expect.equals(new TypeMask.nonNullExact(cls.rawType),
                   typesInferrer.returnTypeOf[element]);
   }
   checkFactoryConstructor('A');
 }