anchor.diff:          function.functionExpression.body as BlockFunctionBody;
       ReturnStatement statement = body.block.statements[2] as ReturnStatement;
       SimpleIdentifier variableName = statement.expression as SimpleIdentifier;
  -    expect(variableName.propagatedType, same(typeProvider.intType));
  +    expect(variableName.propagatedType, typeProvider.intType);
     }
   
     test_CanvasElement_getContext() async {
  
positive.code:     expect(indexExpression.propagatedType, isNull);
      Expression v = indexExpression.target;
      InterfaceType propagatedType = v.propagatedType as InterfaceType;
      expect(propagatedType.element, same(typeProvider.listType.element));
      List<DartType> typeArguments = propagatedType.typeArguments;
      expect(typeArguments, hasLength(1));
      expect(typeArguments[0], same(typeProvider.dynamicType));
    }
  
    test_mapLiteral_different() async {
  
negative.code:     Source source = addSource(code);
      CompilationUnit unit = await _computeResolvedUnit(source);
      // v
      FormalParameter vParameter = EngineTestCase.findNode(
          unit, code, "v)", (node) => node is SimpleFormalParameter);
      expect(vParameter.identifier.propagatedType, typeProvider.stringType);
      expect(vParameter.identifier.staticType, typeProvider.objectType);
      SimpleIdentifier vIdentifier = EngineTestCase.findNode(
          unit, code, "v;", (node) => node is SimpleIdentifier);
      expect(vIdentifier.propagatedType, typeProvider.stringType);
    }
  
    test_Future_then() async {
  