psalm icon indicating copy to clipboard operation
psalm copied to clipboard

Make phpdoc type case-sensitive

Open kkmuffme opened this issue 2 years ago • 1 comments

https://psalm.dev/r/84fbd22c02

Related https://github.com/vimeo/psalm/issues/8089 Inspired by https://github.com/vimeo/psalm/pull/8465#issuecomment-1241009459

kkmuffme avatar Sep 08 '22 18:09 kkmuffme

I found these snippets:

https://psalm.dev/r/84fbd22c02
<?php

use dateTime;

/**
 * @param dAteTime $arg
 * @return void
 */
function a( $arg ) {
	/** @var daTeTime $arg */
    echo $arg->format('Y-m-d H:i:s');
}
Psalm output (using commit afe85fa):

ERROR: UnnecessaryVarAnnotation - 10:11 - The @var dateTime annotation for $arg is unnecessary

psalm-github-bot[bot] avatar Sep 08 '22 18:09 psalm-github-bot[bot]

fixed :)

orklah avatar Dec 28 '22 21:12 orklah