Auto merge of #78147 - tmiasko:validate-storage, r=jonas-schievink

Assert that locals have storage when used

The validator in visit_local asserts that local has a stroage when used,
but visit_local is never called so validation is ineffective.

Use super_statement and super_terminator to ensure that locals are visited.