vimeo /
psalm
| @@ 766-778 (lines=13) @@ | ||
| 763 | } |
|
| 764 | } |
|
| 765 | ||
| 766 | if ($type instanceof TNonEmptyArray) { |
|
| 767 | if ($combination->array_counts !== null) { |
|
| 768 | if ($type->count === null) { |
|
| 769 | $combination->array_counts = null; |
|
| 770 | } else { |
|
| 771 | $combination->array_counts[$type->count] = true; |
|
| 772 | } |
|
| 773 | } |
|
| 774 | ||
| 775 | $combination->array_sometimes_filled = true; |
|
| 776 | } else { |
|
| 777 | $combination->array_always_filled = false; |
|
| 778 | } |
|
| 779 | ||
| 780 | if (!$type->type_params[1]->isEmpty()) { |
|
| 781 | $combination->all_arrays_lists = false; |
|
| @@ 810-822 (lines=13) @@ | ||
| 807 | } |
|
| 808 | } |
|
| 809 | ||
| 810 | if ($type instanceof TNonEmptyList) { |
|
| 811 | if ($combination->array_counts !== null) { |
|
| 812 | if ($type->count === null) { |
|
| 813 | $combination->array_counts = null; |
|
| 814 | } else { |
|
| 815 | $combination->array_counts[$type->count] = true; |
|
| 816 | } |
|
| 817 | } |
|
| 818 | ||
| 819 | $combination->array_sometimes_filled = true; |
|
| 820 | } else { |
|
| 821 | $combination->array_always_filled = false; |
|
| 822 | } |
|
| 823 | ||
| 824 | if ($combination->all_arrays_lists !== false) { |
|
| 825 | $combination->all_arrays_lists = true; |
|
