[4.2] Some typehints fixes (Collection.php)