Function scan_program 

pub fn scan_program<'arena, 'ctx, A>(
    arena: &'arena A,
    file: &'ctx File,
    program: &'arena Program<'arena>,
    resolved_names: &'ctx ResolvedNames<'arena>,
    php_version: PHPVersion,
) -> CodebaseMetadata
where
    A: Arena,

Scans a parsed PHP program into a CodebaseMetadata snapshot, gating each Mago\AvailableSince / Mago\AvailableUntil symbol against the configured PHP version on the way in.

Items whose claims exclude version are simply not inserted, so the resulting metadata is already version-correct and downstream consumers don’t need a separate filter pass.