THIS IS A HYPOTHETICAL QUESTION.
A player has 4 years of college eligibility.
Fall of freshman year, he gets injured and has to miss the spring season.
Knowing that he cannot play, he decides to leave school after the fall semester and enroll in a Juco because it's less expensive, closer to home and preferred rehab and he was never in love with the campus life at his school anyway.
Now he's not going to be redshirted at his current school because he won't be there in the Spring.
And there's no redshirting at Juco (I think? I know there's none at D3.) Anyway, he's not playing or eligible to play at the Juco because of the injury.
So, does this player now lose a year of eligibility in this situation because he left the school he enrolled in for the fall and transferred to the Juco?