Scope checking for require

[samdark]

hello.php:

<?php

function render(): void {
    require 'template.php';
};

render();

template.php:

<?php
/** @var string $name */
?>
Hello, my name is <?= htmlentities($name, ENT_QUOTES) ?>!

In the example template, `` is required to be defined in the scope of the require call, so I'd expect static analysis to detect the missing required scope variable.

// this is useful for "PHP templates" implementation

[psalm-github-bot]

Hey @samdark, can you reproduce the issue on https://psalm.dev? These will be used as phpunit tests when implementing the feature or fixing this bug.

[samdark]

No. It requires 2 files.

[kkmuffme]

Psalm does detect and report it, but because you used @var you manually overwrote this yourself, disabling the error.

Remove the @var or u disableVarParsing="true" (https://psalm.dev/docs/running_psalm/configuration/#disablevarparsing) in the psalm config file