I think in every known implementation, they are always the same object (e.g., one class implements both interfaces), so it wouldn't make a difference, but I suspect it should be changed anyways just in case someone tries to be extra clever. Feel free to file a bug