AFAICT, the code below doesn't handle `<type_bounds>` before the identifier but rather after it, is that expected?  Anyway, unless I'm wrong either the comment or the code should be fixed.