default-directory safe file local variable but no check for same if file-exists-p

[MON KEY]

`default-directory' can be marked a safe file local variable if it
satisfies the stringp predicate.
Does this not allow failure in unsafe ways when (not file-exists-p) is
non-nil for same?
- what gives?

s_P