False positive warning when downcasting to combined generic parameter type

Is this the same as SR-5252? My preferred solution would be to selectively silence the warning and move on, but that’s not yet possible in Swift, is it?