https://github.com/apple/swift/pulls?utf8=%E2%9C%93&q=is%3Apr%20is%3Aclosed%20constraint%20propagation%20 このあたりかな。そろそろ enabled by default になりそうな感じなので Swift4 では直ってるとおもわれます。

swift - The Swift Programming Language