Interesting, I've not seen that before.

I'm wondering if the student's SSN appears on an 8863 filed by another taxpayer.  (Any chance the kid filed on his own?)  I wouldn't expect the IRS computer to be that smart but they did manage to add a reject for folks with a 1095-A a couple years ago.  So maybe they're smart enough to reject multiple education credits for the same student.