131 Commits

Author	SHA1	Message	Date
AndrolGenhald	c1077f32d3	Improve documentation for InvalidGlobal to explain that it's sometimes valid.	2022-02-18 11:36:25 -06:00
AndrolGenhald	bd963e4baa	Fix issue documentation links.	2022-02-17 13:04:25 -06:00
AndrolGenhald	d09e420939	Add @psalm-check-type and @psalm-check-type-exact. ... I initially added these as part of my TryAnalyzer rewrite to allow testing complicated `finally` types like this: ``` $foo = 1; try { $foo = 2; } catch (Exception $_) { $foo = 3; } finally { $bar = $foo; /** @psalm-check-type-exact $bar = 1|2|3 */; } /** @psalm-check-type-exact $bar = 2|3 */; ``` Using the `'assertions'` in tests doesn't work since the type is different inside the `finally`. I decided to extract the new annotation from the rest of my changes and do a separate pull request since I think others may find it useful, and it should be much easier to review than the entire TryAnalyzer rewrite.	2022-02-17 10:37:13 -06:00
AndrolGenhald	cc2334f40d	More class const improvements. ... Add InvalidClassConstType issue as alternative to LessSpecificClassConstType when type isn't contravariant. Handle final class consts (#6395). Use double quotes for types in class const issues.	2022-02-13 17:19:25 -06:00
Bruce Weirdan	11e60fa261	Merge branch '4.x' into upstream-master	2022-02-11 03:51:48 +02:00
Bruce Weirdan	8a41d61925	Apply suggestions from code review ... Co-authored-by: AndrolGenhald <AndrolGenhald@users.noreply.github.com>	2022-02-06 00:49:27 +02:00
orklah	e40bcc2d29	doc about property initialization	2022-02-05 12:27:53 +01:00
AndrolGenhald	94eda1a9f9	Fix bullet indentation in documentation.	2022-02-02 14:48:24 -06:00
Bruce Weirdan	f61193b798	Reinstate MethodSignatureMustProvideReturnType ... It's never emitted, but is there for BC.	2022-01-31 23:38:15 +02:00
Bruce Weirdan	603714518b	Revert "PHP 8.1: Report missing typehints in overridden native methods"	2022-01-31 14:37:42 +02:00
Daniil Gentili	8d0c1c62e8	Ensure all template parameters are specified in classes, interfaces, traits	2022-01-31 10:06:31 +01:00
AndrolGenhald	f9450656e1	Add support for references and improve UnusedVariable checks (fixes #7254).	2022-01-26 12:55:47 -06:00
AndrolGenhald	b68c6116d8	Use PHP 8.1 when testing AmbiguousConstantInheritance.	2022-01-25 15:49:09 -06:00
AndrolGenhald	0edf260d8b	Improve class constant static analysis. ... Add class const covariance support (fixes #5589). Add check for overriding const from interface in PHP < 8.1 (fixes #7108). Add check for ambiguous const inheritance.	2022-01-25 15:20:17 -06:00
AndrolGenhald	558208e44e	Add type checking for class const assignments, fix several other const issues.	2022-01-22 17:06:54 -06:00
AndrolGenhald	c18a155f77	Support type annotations for class consts (fixes #942).	2022-01-22 17:06:53 -06:00
orklah	af1888b631	Merge remote-tracking branch 'upstream/4.x' into upstream-master4	2022-01-22 17:48:42 +01:00
Daniil Gentili	ef4dd656d0	Update	2022-01-19 12:29:49 +01:00
Daniil Gentili	9021b13b65	Update	2022-01-19 12:29:44 +01:00
Daniil Gentili	d970661182	Add separate issue	2022-01-19 12:20:50 +01:00
orklah	5f749c8a33	remove forbidEcho	2022-01-18 18:14:39 +01:00
orklah	b633619a2c	Merge remote-tracking branch 'upstream/4.x' into upstream-master	2022-01-14 21:01:25 +01:00
orklah	d786e9deef	deprecate attribute forbidEcho	2022-01-14 19:31:03 +01:00
AndrolGenhald	6d385fd8f0	Fix documentation for ComplexMethod/ComplexFunction. ... Looks like I misunderstood them.	2022-01-12 14:37:52 -06:00
AndrolGenhald	240032568c	Add test for issues.md to ensure all documented issues are listed.	2022-01-12 14:29:23 -06:00
Daniil Gentili	d6ca1d727e	Fix typo in documentation filename	2022-01-11 14:18:04 +01:00
Matthew Brown	ae0063051a	Add better documentation	2022-01-02 14:56:18 +02:00
Daniil Gentili	edc797d1c2	Add docs	2021-12-30 11:56:16 +01:00
Philip Hofstetter	fdeb1954c2	update docs for enum case deprecation	2021-12-22 06:16:42 +01:00
Kamil Tekiela	01d64e606c	Removed misleading parentheses after language construct	2021-12-18 15:20:58 +00:00
Bruce Weirdan	85f2083acb	Flag duplicate constants ... Fixes vimeo/psalm#6882 Addresses p1 from vimeo/psalm#6471	2021-11-11 00:44:17 +02:00
Bruce Weirdan	0f8ef45110	Forbid properties on enums ... Fixes vimeo/psalm#6472	2021-11-06 21:57:49 +02:00
orklah	0e83afdb86	Merge pull request #6518 from orklah/fix-truthy ... improvements of alwaysTruthy/alwaysFalsy	2021-10-04 13:29:49 +02:00
orklah	28edc25f65	fix doc	2021-10-02 10:01:05 +02:00
Daniil Gentili	741c9ee471	Fixes	2021-09-22 10:26:21 +02:00
Daniil Gentili	7e0b489efe	Merge remote-tracking branch 'origin/master' into if-this-is	2021-09-21 12:12:15 +02:00
Bruce Weirdan	b4f024b1fe	Basic enum checks ... * Duplicate cases * Duplicate case values * Invalid case values: value on a pure enum case, missing value on a backed enum case, backing type / case type mismatch * Literal expression evaluation for case values Fixes vimeo/psalm#6426 Fixes vimeo/psalm#6427	2021-09-07 12:35:38 +03:00
Bruce Weirdan	7b11024886	Flag invalid backing types for enums ... Fixes vimeo/psalm#6428	2021-09-05 20:12:24 +03:00
Tyson Andre	0ae573a158	[skip ci] Fix typos in docs/	2021-08-05 16:39:14 -04:00
Grégoire Paris	26f8e5b333	Add negated identity with false case ... This is the opposite of === true and works the same.	2021-07-17 03:20:23 +03:00
Antonio Mangiacapra	3bc519512c	Fix typo in ConfigIssue.md ... "future versions" instead of "feature versions"	2021-07-02 11:59:26 +02:00
Matthew Brown	fc88f4f0ee	Simplify UnusedForeachValue example	2021-06-21 13:57:53 -04:00
Bruce Weirdan	e552925af6	Emit separate type of issue when foreach value is unused (#5932) ... * Emit separate type of issue when foreach value is unused Fixes vimeo/psalm#5929 * Fixed var name case sensitivity	2021-06-17 00:40:24 -04:00
Matthew Brown	d4164d4452	Revert "Add better example" ... This reverts commit bfd2ab07de.	2021-06-10 22:18:18 -04:00
Matthew Brown	bfd2ab07de	Add better example	2021-06-10 18:32:38 -04:00
Matthew Brown	eb3e395138	Update TaintedTextWithQuotes.md	2021-06-10 17:55:07 -04:00
Matt Brown	47bf5ed567	Fix #5918 - add new issue to detect unquoted strings	2021-06-10 17:43:04 -04:00
Matthew Brown	6d09418a23	Detect unused return values (#5917) ... * Detect unused return values * Allow static-returning instance methods (presumed to be fluent) * Make $is_used the default for Codebase::methodExists	2021-06-10 14:18:15 -04:00
Matt Brown	5c1d8489da	Improve test cases	2021-06-10 12:57:13 -04:00
Bruce Weirdan	86050df4d0	Formally deprecate allowCoercionFromStringToClassConst (#5897) ... * Mark allowCoercionFromStringToClassConst as deprecated in xml schema * Emit deprecation warning for `allowCoercionFromStringToClassConst`	2021-06-07 10:46:26 -04:00