Правильно, потому что его стрелка не для тех, кто спереди (типа Синего), а для тех, кто слева. Только перед ними стрелка понижает Красному приоритет.

Зелёная стрелка у Красного понижает ему приоритет перед теми, кто слева на перекрёстке, а не спереди (типа Синего). У Синего Красный спереди, и Синему не нужно знать, что горит у Красного: Синий его пропускает как со встречного направления при совершении своего манёвра налево. Поэтому и Красный проезжает уверенно перед Синим, и Синий, пропустив, едет за Красным. А при наличии 2-х полос они вообще не пересекутся даже при одновременном манёвре.