I am not sure if it is defined somewhere (I couldn't find anything either when I looked for a spec on the ABI side of this). This is, however, as far as I can see currently the only sane implementation of the trait, and the unit test will blow up if that behavior ever changes.