@Override public FlowScope inferSlotType(String symbol, JSType type) { refinements.add(symbol); return wrap(delegate.inferSlotType(symbol, type)); }
@Override public FlowScope inferQualifiedSlot( Node node, String symbol, JSType bottomType, JSType inferredType, boolean declare) { refinements.add(symbol); return wrap(delegate.inferQualifiedSlot(node, symbol, bottomType, inferredType, declare)); }