While he has been denied a debut this term due to his age, the 15 year-old will be okay to taste competitive senior football from week one of the Premier League in season 2026/27.
Gabriel won't turn 16 until October, but will be past the cut-off date to be eligible for selection according to Premier League rules.
Three players have featured in the Premier League at the age of 15, Arsenal duo Ethan Nwaneri and Max Dowman, along with Jeremy Monga of Leicester City.
For United, David Gaskell is the youngest debutant, at 16 years and 19 days in October 1956. Angel Gomes is the youngest in the Premier League era, at 16 years, eight months and 20 days.
