![]() As psalm ignores the annotation which is co-located with IDEs can use the type specified by the for auto-completion, while psalm can still use its own inferred type for type checking. This weakens the effectiveness of type checking in many cases since the explicit annotation overrides the types inferred by psalm. To take advantage of such IDE's auto-completion, you may sometimes want to use explicit annotations even when psalm can infer the type just fine. Some IDEs don't fully understand complex types like generics. annotation is used to ignore the annotation written in the same docblock. If a tag is given, Psalm will use it in place of its non-prefixed counterpart.
0 Comments
Leave a Reply. |