Psalm
Get started
Documentation
Paid support
Plugins
Blog
GitHub
<?php $input = array( 1 , 2); $_unused = array_splice( $input, 0, 1 ); /** @psalm-trace $input */;
Snippet created on April 12 2023 at 19:08 UTC
Settings
Get link