In reply to dsherman0623:
It sounds like the B constraint should apply.
This may sound trivial & not scientific, but one way to find out is to try a test code.
True, not all vendors implement 1800 to the T, but they come close.
https://www.edaplayground.com allows you to try different vendors, and if they all give you the same answer, then they most likely are compliant to 1800.
Anyway, a quick way to get the answer (without even asking).
Another alternative, dig into 1800 lrm :)
Ben systemverilog.us