function it_enriches_the_JWTToken_with_the_user_returned_by_user_convert(JWTUserBuilder $JWTUserBuilder, JWTToken $jwtToken) { $jwtToken->getCredentials()->willReturn('credentials'); $JWTUserBuilder->buildUserFromToken('credentials')->willReturn('user'); $jwtToken->setUser('user')->shouldBeCalled(); $this->authenticate($jwtToken); }