anchor.diff:        ShadowTypeInferrer inferrer,
         Factory<Expression, Statement, Initializer, Type> factory,
         DartType typeContext) {
  -    return inferredType = super.getStaticType(inferrer.typeSchemaEnvironment);
  +    return inferredType =
  +        inferrer.typeSchemaEnvironment.futureType(const DynamicType());
     }
   }
   
  
positive.code:       ShadowTypeInferrer inferrer,
        Factory<Expression, Statement, Initializer, Type> factory,
        DartType typeContext) {
      return inferredType = super.getStaticType(inferrer.typeSchemaEnvironment);
    }
  }
  
  
negative.code:       ShadowTypeInferrer inferrer,
        Factory<Expression, Statement, Initializer, Type> factory,
        DartType typeContext) {
      return inferredType = inferrer.thisType ?? const DynamicType();
    }
  }
  
  