Why does an already constrained protocol still have "self or associated type requirements"?

Using Swift
2

Please read this thread, which asked the same question.