This is guaranteed at compile time. No need to test it.