...which isn't relevant because bikes shouldn't be in the intersection at all while the turn is being made. The bicyclist going straight has a red light when the turn lane has a green arrow, the turn lane has a red light when the bicyclist going straight has a green.

Perhaps I should have said "wait for turn indicator" instead of "no turn on red", that's a bit clearer.