Skip to content

Conversation

@pull
Copy link

@pull pull bot commented Sep 4, 2025

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.3)

Can you help keep this open source service alive? 💖 Please sponsor : )

DanielEScherzer and others added 2 commits September 3, 2025 18:26
Don't require `@var` with a type when the type can be inferred from a literal
value in the stub file.
The canonical way to do this is via `get_constructor` as `create_object`
may not return NULL.
@pull pull bot locked and limited conversation to collaborators Sep 4, 2025
@pull pull bot added the ⤵️ pull label Sep 4, 2025
@pull pull bot merged commit a88a5ec into wudi:master Sep 4, 2025
8 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants