College boy dating a high schooler?

I have a friend who is in his 2nd year of community college, and he likes this girl who is a junior in high school, is it alright if he goes out with her. I don't know if anybody is familar with laws in Florida but if you are it will be helpful