Deadpool is in Avengers: Doomsday. Will Hugh Jackman join him, or is Marvel playing its cards close to the chest?