In solution ranking we always prefer a protocol operator over a protocol extension operator. So if their interface types are identical, any set of fixed type assignments that satisfies the default ...