Brown
|
fbd1cf0a71
|
Fix #2322 - don’t update outer context if elseif has no leaving statements
|
2019-11-11 11:46:27 -05:00 |
|
Brown
|
96586f16c0
|
Fix phpcs issues
|
2019-11-11 10:11:42 -05:00 |
|
Brown
|
af5f83602e
|
Break out more specific possibly defined offset errors
|
2019-11-11 09:59:56 -05:00 |
|
Brown
|
46d163996e
|
Fix #2321 - prevent inferred template coercion
|
2019-11-11 09:14:34 -05:00 |
|
Bruce Weirdan
|
79acbadfad
|
Added InvalidParent issue (#2320)
Refs vimeo/psalm#2304
|
2019-11-11 00:21:43 -05:00 |
|
Matthew Brown
|
2fc7f5fdf7
|
Fix #1830 - infer key type after array_key_exists check
|
2019-11-10 14:23:53 -05:00 |
|
Matthew Brown
|
94d4b876ba
|
Fix #2177 - mark variables in try block as potentially undefined
|
2019-11-09 12:25:30 -05:00 |
|
Matthew Brown
|
62a3598ed3
|
Fix #2197 - prevent false positive from try in while
|
2019-11-09 11:01:48 -05:00 |
|
Matthew Brown
|
7028a64440
|
Fix #2204 - fix try/catch false-positive
|
2019-11-09 10:39:21 -05:00 |
|
Brown
|
4e5af3490a
|
Fix #2315 - allow Traversable->iterable templated casting
|
2019-11-08 13:11:01 -05:00 |
|
Brown
|
895737d8be
|
Fix style
|
2019-11-08 12:49:53 -05:00 |
|
Brown
|
ac6256e645
|
Fix #2312, improve understanding of template replacement
|
2019-11-08 11:56:41 -05:00 |
|
Joram Schrijver
|
c97ba8f713
|
Implement type-checking and forbidding for print (#2314)
* Add type-checking for print
* Allow print to be forbidden
|
2019-11-08 07:01:34 -05:00 |
|
Brown
|
3d7b34e7f6
|
Fix #2273 - ensure all template params are bound
|
2019-11-07 11:03:41 -05:00 |
|
Brown
|
86b6801066
|
Fix #2294 - detect invalid callble due to __invoke
|
2019-11-07 09:39:24 -05:00 |
|
Brown
|
64996f464e
|
Prevent empty array workaround to #2308
|
2019-11-06 16:59:08 -05:00 |
|
Brown
|
06b64a4a01
|
Detect erroneous use of empty check on bools
|
2019-11-06 16:14:46 -05:00 |
|
Brown
|
3e98c800ec
|
Fix #2309 - prevent closure-inferred generic template params overwriting parent ones
|
2019-11-06 13:13:02 -05:00 |
|
Brown
|
a8ed6ba9c4
|
Fix #2308 - prevent specialisation from bound params
|
2019-11-06 11:20:51 -05:00 |
|
Matthew Brown
|
d7e435c352
|
Add slashes
|
2019-11-05 19:08:16 -05:00 |
|
Matthew Brown
|
050045209f
|
Only allow string offset assignment when offset is integer
|
2019-11-05 19:05:43 -05:00 |
|
Matthew Brown
|
cbaf050bd2
|
Fix #2307 - allow setting of array string offset
|
2019-11-05 19:03:59 -05:00 |
|
Matthew Brown
|
b81a2d3852
|
Fix #2306 - allow nullable templated params to be compared to null
|
2019-11-05 18:37:46 -05:00 |
|
Brown
|
818f0c0985
|
Flesh out list types
Fixes #2300
|
2019-11-05 13:08:12 -05:00 |
|
Brown
|
5c8cb37b0f
|
Fix #2301 - do a naive projection of template params
|
2019-11-05 12:59:56 -05:00 |
|
Brown
|
d8ae33957d
|
Fix strtolower ref
|
2019-11-04 15:14:07 -05:00 |
|
Brown
|
1f42843d42
|
Fix #2296 - use case insensitive closure ids
|
2019-11-04 14:48:02 -05:00 |
|
Brown
|
4bf632bc23
|
Only extend covariant flag to vars without template param
|
2019-11-04 11:12:59 -05:00 |
|
Brown
|
e7330afe8b
|
Fix #2295 - support special case of array_shift on known offset type
|
2019-11-04 09:21:13 -05:00 |
|
Matthew Brown
|
8dffd65a59
|
Preserve possible-undefinedness
|
2019-11-04 07:12:22 -05:00 |
|
Matthew Brown
|
5faebe2674
|
Fix templated assertion handling for static methods
|
2019-11-04 05:31:45 -05:00 |
|
Matthew Brown
|
8f421dc0bb
|
Refactor template calculation out from Psalm\Type\Union
|
2019-11-03 21:27:40 -05:00 |
|
Matthew Brown
|
7c4c78f67e
|
Fix #2271 - treat array_replace same as array_merge
|
2019-11-02 10:15:03 +01:00 |
|
Pavel Batečko
|
b229ac875d
|
Improve return types of explode() with limit (#2286)
|
2019-11-02 10:10:38 +01:00 |
|
Matthew Brown
|
a82e35a59f
|
Fix #2291 - extended covariant template param types should be treated as covariant
|
2019-11-01 18:25:07 +01:00 |
|
Matthew Brown
|
050eb82f04
|
Fix #2290 - detect call on void type
|
2019-11-01 13:05:28 +00:00 |
|
Matthew Brown
|
4845bbbd49
|
Improve solution to extended type juggling
|
2019-10-29 19:30:19 +00:00 |
|
Matthew Brown
|
8d7cdeb8ec
|
Fix #2275 - allow extended templated types to bypass mixed type coercion rules
|
2019-10-29 10:07:34 +00:00 |
|
Matthew Brown
|
0ac5c32f2f
|
Fix #2277 - scan psalm-assert types always
|
2019-10-25 23:39:33 +02:00 |
|
Brown
|
8876499ddd
|
Fix #2252 - allow destructuring of ArrayAccess objects
|
2019-10-22 11:17:42 -04:00 |
|
Brown
|
353cf2351e
|
Fix #2259 - if error suppression is use, list destructuring values will be nullable
|
2019-10-22 10:40:37 -04:00 |
|
Mikko Pesari
|
e82d3c438d
|
Fix wrong annotations in ext-ds method stubs (#2263)
* Fix wrong annotation for class implementing an interface
* Fix unrecognised annotations
|
2019-10-22 09:33:23 -04:00 |
|
Joram Schrijver
|
39b25f9008
|
Fix ArrayIterator::{uasort,uksort} parameter type (#2254)
|
2019-10-22 08:45:25 -04:00 |
|
Mikko Pesari
|
fc16eb5e92
|
Fix Ds\Set method stubs (#2261)
* Fix constructor parameters
* Add missing @param name
* Add missing implements
|
2019-10-22 06:12:35 -04:00 |
|
Brad Kent
|
6e6eea010b
|
callMap updates: unregister_tick_function, ReflectionClass::getInterfaceNames, ReflectionObject::getInterfaceNames (#2258)
|
2019-10-21 14:29:48 -04:00 |
|
Mikko Pesari
|
80665850db
|
Add method stubs for Ds\Set (#2255)
* Fix typo
* Add method stubs for Ds\Set
|
2019-10-21 10:06:26 -04:00 |
|
Matthew Brown
|
233977a764
|
Fix undefined array offset when too few iterator params supplied
|
2019-10-21 07:13:33 -04:00 |
|
Tyson Andre
|
94636476d2
|
Fix checking if union type with mixed is nullable (#2253)
Fixes #2249
|
2019-10-20 17:06:59 -04:00 |
|
Matthew Brown
|
05ace25817
|
Fix #2246 - fix return type of array_slice to be a list
|
2019-10-20 16:19:01 -04:00 |
|
Matthew Brown
|
b476761109
|
Fix #2235 - improve behaviour of array_merge on lists
|
2019-10-20 15:47:00 -04:00 |
|