What does this Python snippet output?

Console output

Why

The | union operator returns a brand-new dict and does not mutate either operand. a stays {'p': 1} while c holds the merged result. (In-place merging would require |= instead.)