It sounds like a regression test to me. We write these kind of tests after a bug to prevent it to appear again.
It would be quite overkill to test these details IMO.