anchor.diff:        _commonElements.getRuntimeTypeInfo
       ], otherImpacts: [
         listValues,
  -      getRuntimeTypeArgument
  +      getRuntimeTypeArgument,
  +      newRtiImpact,
       ]);
     }
   
     BackendImpact _genericIsCheck;
   
     BackendImpact get genericIsCheck {
  -    return _genericIsCheck ??= new BackendImpact(otherImpacts: [intValues]);
  +    return _genericIsCheck ??=
  +        new BackendImpact(otherImpacts: [intValues, newRtiImpact]);
     }
   
     BackendImpact _typeVariableTypeCheck;
   
     BackendImpact get typeVariableTypeCheck {
       return _typeVariableTypeCheck ??= new BackendImpact(
  -        staticUses: [_commonElements.checkSubtypeOfRuntimeType]);
  +        staticUses: [_commonElements.checkSubtypeOfRuntimeType],
  +        otherImpacts: [newRtiImpact]);
     }
   
     BackendImpact _functionTypeCheck;
   
     BackendImpact get functionTypeCheck {
  -    return _functionTypeCheck ??=
  -        new BackendImpact(staticUses: [/*helpers.functionTypeTestMetaHelper*/]);
  +    return _functionTypeCheck ??= new BackendImpact(
  +        staticUses: [/*helpers.functionTypeTestMetaHelper*/],
  +        otherImpacts: [newRtiImpact]);
     }
   
     BackendImpact _futureOrTypeCheck;
   
     BackendImpact get futureOrTypeCheck {
  -    return _futureOrTypeCheck ??=
  -        new BackendImpact(staticUses: [_commonElements.futureOrTest]);
  +    return _futureOrTypeCheck ??= new BackendImpact(
  +        staticUses: [_commonElements.futureOrTest],
  +        otherImpacts: [newRtiImpact]);
     }
   
     BackendImpact _nativeTypeCheck;
  
positive.code:   BackendImpact get asCheck {
      return _asCheck ??= new BackendImpact(staticUses: [
        _commonElements.throwRuntimeError,
      ], otherImpacts: newRtiImpacts('asCheck'));
    }
  
    BackendImpact _throwNoSuchMethod;
  
negative.code:   BackendImpact _typeCheck;
  
    BackendImpact get typeCheck {
      return _typeCheck ??=
          new BackendImpact(otherImpacts: [boolValues, newRtiImpact]);
    }
  
    BackendImpact _genericTypeCheck;
  