PossiblyNullArgument: Adding common problem cases and possible solutions#8135
PossiblyNullArgument: Adding common problem cases and possible solutions#8135orklah merged 4 commits intovimeo:masterfrom
Conversation
See vimeo#8133 (comment) Don't know if this is the best way to explain this, but it's a start :-) Is there a better way to add the link to https://psalm.dev/docs/annotating_code/supported_annotations/#psalm-mutation-free ? I also removed the `<?php` tag from the code block.
See eg atomic_types.md, just make sure it's correct relative to the current path ( |
|
Could you mention that this is for |
|
You missed the second link 🙂 It looks like the failing test was fixed on master, could you rebase to the most recent commit on master? |
|
Rebase: Um, sorry, I did it on GitHub's website. But I could open a new PR (it's just one file anyway), but how do I start off this most recent commit? |
|
Eh, it's probably fine, I bet @orklah will be fine merging this despite the failing test since it's obviously not the cause of it. I'd have thought GitHub would have a way to rebase a PR through the interface, but it doesn't seem possible afaict. |
|
The CI failure is indeed caused by this PR. Psalm automatically checks each code example in documentation of issues to ensure each is indeed emitting the mentionned issue. The fact that you removed Could you try reverting that change so we can check tests pass again? |
Oh, I saw the first CI failure from muglug's comma issue and thought that was the only problem 😬 Now I'm wondering why that doesn't show up anymore. I guess tests are automatically run on an already-merged copy? That's actually pretty neat and catches a lot of potential subtle issues! |
|
Thanks! |
|
@orklah Just noticing that this is still not online at https://psalm.dev/docs/running_psalm/issues/PossiblyNullArgument/ - when are those pages rebuilt? |
|
I'm not actually sure... It may be that the pages are still built from 4.X but it seems strange... I'll keep this in my todo list to check when I have some free time |
|
@ThomasLandauer this was fixed :) Docs were not rebuilt |
|
Thanks - see #8696 :-) |
See #8133 (comment)
Don't know if this is the best way to explain this, but it's a start :-)
Is there a better way to add the link to https://psalm.dev/docs/annotating_code/supported_annotations/#psalm-mutation-free ?
I also removed the
<?phptag from the code block.