Assertion: byte's value | /r/HasProperty | extended
Facets:
Source sentences:
text: What's happening here is the promotion from smaller to larger signed types causes the smaller value to be sign extended, whereby the most significant bit is copied to all of the new bits of the promoted value.