Refinements are scope lexically, meaning they're in effect from the time they're activated (with the using keyword) until control shifts. Usually control is changed by the end of a module, class, or file.
using