Did he play enough minutes to lose his red shirt? If not he can play a year in JUCO and preform as a sophomore in 20/21 in division I.
I believe if you play one minute you lose your redshirt in basketball unless injury is involved. It is not like football so he has likely lost his redshirt opportunity.