phpspec type hinted methods