In this case, you have reached a context in which a property is of zero bits (trivial), but still has useful content, which is already recorded in the context.