verifies

Requirements validated by this test case.

Declared var for back-patching during PSI materialization. Compiled-path callers should treat as effectively immutable.