[ 'code' => 'modify(getString()); $b = $dateTimeImmutable->modify(getString()); ', 'assertions' => [ '$a' => 'DateTime|false', '$b' => 'DateTimeImmutable|false', ], ], 'modifyWithValidConstant' => [ 'code' => 'modify(getString()); $b = $dateTimeImmutable->modify(getString()); ', 'assertions' => [ '$a' => 'DateTime', '$b' => 'DateTimeImmutable', ], ], 'modifyWithInvalidConstant' => [ 'code' => 'modify(getString()); $b = $dateTimeImmutable->modify(getString()); ', 'assertions' => [ '$a' => 'false', '$b' => 'false', ], ], 'modifyWithBothConstant' => [ 'code' => 'modify(getString()); $b = $dateTimeImmutable->modify(getString()); ', 'assertions' => [ '$a' => 'DateTime|false', '$b' => 'DateTimeImmutable|false', ], ], ]; } }