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
2022-01-05 01:00:05 +02:00
2022-02-13 07:14:23 +02:00
2022-02-03 11:34:50 -06:00
2022-02-11 03:51:48 +02:00
2022-01-22 17:48:42 +01:00
2022-02-12 09:59:55 +01:00
2022-01-11 10:03:00 -06:00
2021-12-15 04:58:32 +01:00
2022-02-09 16:37:15 -05:00
2021-12-15 04:58:32 +01:00
2022-01-31 00:26:23 +02:00
2022-02-17 03:52:07 +02:00
2022-01-22 19:34:57 +01:00
2021-12-15 04:42:37 +01:00
2022-02-10 19:37:42 -05:00
2022-01-20 17:33:06 -05:00
2022-01-26 12:55:47 -06:00
2022-01-14 21:13:34 +01:00
2022-01-31 10:06:31 +01:00
2022-01-31 10:06:31 +01:00
2022-01-26 21:06:25 +01:00
2022-01-27 22:28:24 +01:00
2022-01-26 12:55:47 -06:00
2022-01-13 14:38:17 -05:00
2022-01-31 10:06:31 +01:00
2021-12-15 04:58:32 +01:00
2022-01-28 22:27:09 +01:00
2022-01-22 19:34:57 +01:00
2022-02-17 10:37:13 -06:00
2022-01-21 00:17:06 +01:00
2022-01-20 17:33:06 -05:00
2022-01-13 14:38:17 -05:00
2022-01-13 14:38:17 -05:00
2022-01-31 10:28:47 +01:00
2022-01-13 14:38:17 -05:00
2022-02-11 03:51:48 +02:00
2022-01-30 17:46:08 +01:00
2021-12-15 04:58:32 +01:00
2022-01-05 19:32:43 +02:00
2022-02-13 17:19:25 -06:00
2022-01-13 14:38:17 -05:00
2022-01-22 18:05:32 +01:00
2022-01-13 14:38:17 -05:00
2022-01-13 14:38:17 -05:00
2021-12-15 04:58:32 +01:00
2022-02-13 17:19:25 -06:00
2022-02-13 19:38:45 +01:00
2021-12-15 04:58:32 +01:00
2022-01-13 14:38:17 -05:00
2022-01-13 13:49:37 -05:00
2022-01-06 00:48:04 +02:00
2021-12-15 04:58:32 +01:00
2022-01-18 18:25:18 +01:00
2022-01-31 10:06:31 +01:00
2021-12-15 04:58:32 +01:00
2022-01-30 01:18:05 +01:00
2022-01-18 23:07:35 +01:00
2022-01-13 14:38:17 -05:00
2022-01-13 13:49:37 -05:00
2022-01-22 17:48:42 +01:00
2022-01-31 10:28:47 +01:00
2022-01-13 14:38:17 -05:00
2022-02-08 11:24:05 -05:00
2022-02-09 15:35:40 +02:00
2022-01-13 14:38:17 -05:00
2022-02-10 18:46:22 -05:00
2022-01-27 22:28:24 +01:00
2022-01-13 14:38:17 -05:00
2022-02-11 03:51:48 +02:00
2022-01-14 21:01:25 +01:00
2022-02-13 22:38:38 +01:00
2022-01-27 16:30:14 -06:00
2021-12-15 04:58:32 +01:00
2022-02-11 21:53:29 +01:00
2022-02-11 03:51:48 +02:00
2022-01-13 14:38:17 -05:00
2022-01-22 00:00:45 +00:00
2022-01-22 00:00:45 +00:00
2022-01-13 14:38:17 -05:00
2022-01-13 14:38:17 -05:00
2022-01-13 14:38:17 -05:00
2022-01-13 14:38:17 -05:00
2022-01-31 10:06:31 +01:00
2022-02-03 11:34:50 -06:00
2022-01-31 10:06:31 +01:00
2022-02-09 16:37:15 -05:00
2022-01-19 19:29:16 +01:00
2022-01-13 14:38:17 -05:00
2022-01-13 14:38:17 -05:00
2022-01-18 23:07:35 +01:00
2022-01-26 12:55:47 -06:00
2022-02-04 08:32:35 -06:00
2022-01-05 19:32:43 +02:00
2022-01-22 19:34:57 +01:00
2022-01-31 10:06:31 +01:00
2022-01-13 14:38:17 -05:00
2022-01-13 14:38:17 -05:00
2022-02-15 14:13:44 -06:00
2022-01-22 17:48:42 +01:00
2022-01-27 16:30:14 -06:00
2022-01-13 14:38:17 -05:00
2021-12-15 04:58:32 +01:00
2021-12-15 04:58:32 +01:00
2022-01-13 14:38:17 -05:00
2022-01-13 14:38:17 -05:00
2022-01-13 14:38:17 -05:00
2022-01-13 19:01:56 -05:00
2022-01-13 14:38:17 -05:00
2022-01-23 22:04:18 +01:00
2022-01-06 00:48:04 +02:00
2022-01-27 22:28:40 +01:00
2022-01-13 13:49:37 -05:00
2022-01-31 10:06:31 +01:00
2022-02-14 00:12:31 +01:00
2022-01-27 22:28:24 +01:00
2022-01-13 13:49:37 -05:00
d09e420939