vimeo /
psalm
| @@ 1237-1242 (lines=6) @@ | ||
| 1234 | } |
|
| 1235 | ||
| 1236 | if ($type instanceof TLiteralInt) { |
|
| 1237 | if ($combination->ints !== null && count($combination->ints) < $literal_limit) { |
|
| 1238 | $combination->ints[$type_key] = $type; |
|
| 1239 | } else { |
|
| 1240 | $combination->ints = null; |
|
| 1241 | $combination->value_types['int'] = new TInt(); |
|
| 1242 | } |
|
| 1243 | } else { |
|
| 1244 | $combination->ints = null; |
|
| 1245 | $combination->value_types['int'] = $type; |
|
| @@ 1253-1258 (lines=6) @@ | ||
| 1250 | ||
| 1251 | if ($type instanceof TFloat) { |
|
| 1252 | if ($type instanceof TLiteralFloat) { |
|
| 1253 | if ($combination->floats !== null && count($combination->floats) < $literal_limit) { |
|
| 1254 | $combination->floats[$type_key] = $type; |
|
| 1255 | } else { |
|
| 1256 | $combination->floats = null; |
|
| 1257 | $combination->value_types['float'] = new TFloat(); |
|
| 1258 | } |
|
| 1259 | } else { |
|
| 1260 | $combination->floats = null; |
|
| 1261 | $combination->value_types['float'] = $type; |
|
