By reading the test case, it's not obvious what the test is since `default_instance` is never called, nor the value is used, etc.

It'd be nice if you could also explain why this succeeds to compile and how this test verifies the right alignment. 

Thanks