Goalkeeper Ederson will have to ask for a transfer if he wants to leave Manchester City this summer, a source has told LS.