prefetchThrows property

bool prefetchThrows
getter/setter pair

Makes prefetch throw, so callers can be proved to guard.

Implementation

bool prefetchThrows = false;