It seems like $this->tput('cols') targeting League\CLImate\Util\System\Linux::tput() can also be of type array; however, League\CLImate\Util\System\Linux::getDimension() does only seem to accept integer|string|null, maybe add an additional type check?
This check looks at variables that are passed out again to other methods.
If the outgoing method call has stricter type requirements than the method itself, an issue is raised.
It seems like $this->tput('lines') targeting League\CLImate\Util\System\Linux::tput() can also be of type array; however, League\CLImate\Util\System\Linux::getDimension() does only seem to accept integer|string|null, maybe add an additional type check?
This check looks at variables that are passed out again to other methods.
If the outgoing method call has stricter type requirements than the method itself, an issue is raised.
This check looks at variables that are passed out again to other methods.
If the outgoing method call has stricter type requirements than the method itself, an issue is raised.
An additional type check may prevent trouble.