Page MenuHomePhabricator

Selectively Enable Validation When Mutating Objects and `resolveInternals` is `false`
Open, MediumPublic

Description

We should not always forego validation in the case when resolveInternals is false.

In particular, we should always validate the type of a dereferenced object (i.e., a Z9/Reference that is being resolved) in the mutate/resolveFunctionCallsAndReferences functions.