Class or interface GEOSGeometry does not exist

[BenMorel]

I just tried release 4.3.2 that contains the GEOS stubs that I PR'ed earlier in #4902, but after removing my PHP stubs, Psalm reports a lot of these errors:

ERROR: UndefinedClass - src/Engine/GEOSEngine.php:430:36 - Class or interface GEOSGeometry does not exist (see https://psalm.dev/019)

Is it expected that Psalm cannot analyze a class that's not available at runtime? Or did I miss something in my PR?

Background: in brick/geo, GEOS is an optional dependency, and I usually do not have the extension installed myself locally, when I run Psalm. It's only installed in CI, where tests are run on each GIS engine, GEOS included. I would like Psalm to know the GEOSGeometry class structure even when the extension is not loaded.

[psalm-github-bot]

Hey @BenMorel, can you reproduce the issue on https://psalm.dev ?

[orklah]

related to #5482

I think Matt plan was to not allow signatures from extensions that were not loaded. I don't see how this is done though...