Typehinting $user variable