Holds if field f may be read within the body of this callable.