danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-12-02 09:37:59 +01:00
Code Issues Projects Releases Wiki Activity
7,940 Commits 43 Branches 314 Tags 108 MiB
91115d651f
Commit Graph

3776 Commits

Author SHA1 Message Date
Matt Brown
91115d651f
Use better stubs for Serializable and SoapClient 2021-01-29 11:47:18 +01:00
2e3s
df8d2e2296
Overwrite memoized return type after sum-type candidate is calculated (#4805) 
* Overwrite memoized return type after sum-type candidate is calculated

* Fix mismatched types

* Fix code style
 2021-01-29 11:47:18 +01:00
Matt Brown
7825a71351
Fix #4797 - sanitise assertion output of template result 2021-01-29 11:47:18 +01:00
Matt Brown
50611d5b91
Fix #4798 - improve conversion from type back to PhpParser node 2021-01-29 11:47:18 +01:00
Matt Brown
5e4bece7d3
Fix #4802 - don’t clone context when analysing coalesce 2021-01-29 11:47:17 +01:00
Matt Brown
ae8aaaf1d8
Support simple list assignment in foreach 
Ref #4741
 2021-01-29 11:47:17 +01:00
Matt Brown
ce9d100908
Fix #4794 - invvalidate dependent types when their variables change 2021-01-29 11:47:17 +01:00
Matt Brown
c4b1c63dd1
Taint all when conditional return is used 
Ref #4792
 2021-01-29 11:47:16 +01:00
Matt Brown
a5408aafc9
Fix #4778 - remove already-initialized properties when checking initialisation 2021-01-29 11:47:16 +01:00
Matt Brown
8bfb0412e7
Fix #4782 - don’t replace closure types with upper bounds when replacing class param types 2021-01-29 11:47:16 +01:00
Matt Brown
b21e138cc7
Allow nested specialisation 2021-01-29 11:47:15 +01:00
Matt Brown
309c13700d
Fix #4769 – don’t use unique ids for new generated nodes 2021-01-29 11:47:15 +01:00
Bruce Weirdan
5bce554cbb
Fix windows builds (#4775) 
* Choco now offers PHP 8 only

* Bump build deps to allow PHP 8 builds

* Bump slevomat

* Disable coverage to allow paratest

* Bump dummy project version to allow testing on PHP 8
 2021-01-29 11:47:15 +01:00
Matt Brown
326c47ef75
Fix implicit void closure not getting recognised 2021-01-29 11:47:14 +01:00
Matt Brown
73fc7d9491
Fix #4767 - rescan directly-affected class-interface relationships 2021-01-29 11:47:14 +01:00
orklah
48f55f3c3b
Allow int casts if the type comes from calculation (#4768) 2021-01-29 11:47:14 +01:00
Matt Brown
6f598464a9
Mixed array access should mark vars as used just in case 2021-01-29 11:47:14 +01:00
Matt Brown
dd20e838ce
Make more try vars potentially undefined 
Fixes #4764
 2021-01-29 11:47:14 +01:00
Matt Brown
ba1a076059
Fix interface property regression 2021-01-29 11:47:13 +01:00
Matt Brown
eba91f741b
Fix #4760 - prevent unpacked vars from breaking call when checking unitialised properties 2021-01-29 11:47:13 +01:00
Matt Brown
9c5cc02f90
Fix #4759 – don’t generate assertion when assigning to same-named variable 2021-01-29 11:47:13 +01:00
Matt Brown
1780541501
Ref #4753 - allow int literals to inform key type 2021-01-29 11:47:12 +01:00
Matt Brown
a20db1ce34
Fix #4751 - allow MethodSignatureMismatch to be overridable when info comes from docblock 2021-01-29 11:47:12 +01:00
Matt Brown
c54416090f
Don’t suggest a potential value that’s undefined 
Fixes #4754
 2021-01-29 11:47:12 +01:00
Matt Brown
f8e22ab7ac
Break out array_key_exists tests 2021-01-29 11:47:12 +01:00
Matt Brown
ace372bfb4
Fix #4752 - add property base assertions too 2021-01-29 11:47:12 +01:00
Matt Brown
7cc0f65f11
Don’t do new isset conversion on try-set vars 2021-01-29 11:47:11 +01:00
Matt Brown
b1996262ba
Ensure that strict empty handling always happens 2021-01-29 11:47:11 +01:00
Matt Brown
2d1222ddec
Fix assertions on unions 2021-01-29 11:47:11 +01:00
Matt Brown
d6b98f2afe
Fix null array access complaints 2021-01-29 11:47:11 +01:00
Matt Brown
06d69ba5f3
Break out RedundantCast issues 2021-01-29 11:47:10 +01:00
orklah
feeaaeb03c
handle return flag for a try/catch/finally (#4746) 
* handle return flag for a try/catch/finally

* add tests for psalter
 2021-01-29 11:47:10 +01:00
Matt Brown
7206db2cb6
Fix #4705 - clear documenting method ids when scanning stubs 2021-01-29 11:47:10 +01:00
Matt Brown
14040ed1fa
Add failing testcase for #4705 2021-01-29 11:47:10 +01:00
Matt Brown
024bbef5cd
Fix #4743 - simplify assertions generated from array_key_exists check 2021-01-29 11:47:09 +01:00
orklah
5f9aff5734
support shift and bitwise operations in constants (#4740) 2021-01-29 11:47:07 +01:00
orklah
08d9246b9a
improve Atomic Types documentation (#4735) 
* improve Atomic Types documentation

* add doc

* add doc
 2021-01-29 11:47:07 +01:00
orklah
4ded1080e3
Check from_docblock property to emit the right issue (#4736) 2021-01-29 11:47:06 +01:00
Matt Brown
9789b53617
Fix #4731 - expand out class-bound generic types when evaluating instance method 2021-01-29 11:47:06 +01:00
Matt Brown
8c33bedfca
Fix #4733 - don’t replace template types when they’re defined on the same class 2021-01-29 11:47:06 +01:00
Matt Brown
fb474c2e07
Expand out constants in param types earlier 2021-01-29 11:47:06 +01:00
Matt Brown
ad5ec9501d
Ensure class template types are mapped to static methods where necessary 
Ref #4733
 2021-01-29 11:47:06 +01:00
Matt Brown
e9ec1b28a2
Simplify storage and retrieval of extended template params 2021-01-29 11:47:05 +01:00
Matthew Brown
cbd8150fde
Add RedundantPropertyInitializationCheck (#4732) 
* Add RedundantPropertyInitializationCheck

* add documentation for RedundantPropertyInitializationCheck (#4734)

Co-authored-by: orklah <orklah@users.noreply.github.com>
 2021-01-29 11:47:05 +01:00
Matt Brown
a3cf052314
Remove unset thing 2021-01-29 11:47:05 +01:00
Matt Brown
27c303ee39
Detect some erroneous issets 2021-01-29 11:47:05 +01:00
Matt Brown
9fdc56ff75
Fix template type selection 2021-01-29 11:47:04 +01:00
Bruce Weirdan
d13f0b6a7c
Added test to enforce that all supported annotations are documented (#4723) 
* Added test to enforce that all supported annotations are documented

Well, at least mentioned.

Refs vimeo/psalm#3816

* Type things

* Make things pretty

* Only check @psalm- annotations, group

* Add documentation for `@psalm-require-extends` and `@psalm-require-implements`

* Dropped logicalOr that has become redundant

* Add explicit tag

* Document @psalm-template

* Add @psalm-template-covariant

* Document `@psalm-method`

* Add list of undocumented docblock annotations

Co-authored-by: Matthew Brown <github@muglug.com>
 2021-01-29 11:47:04 +01:00
Matt Brown
5cf5aecb2f
Fix #3017 - use correct keys when converting list to array 2021-01-29 11:47:04 +01:00
orklah
0df867cdff
fix array_column with possibly_undefined keys (#4719) 2021-01-29 11:47:03 +01:00