*/ public function findAllForUser(User $user): array; }