Does System.Runtime.InteropServices.LayoutKind.Sequential control the layout in managed memory for constructed types that only contain blittable types?

[zacknewman]

The documentation of System.Runtime.InteropServices.LayoutKind.Sequential states "For blittable types, LayoutKind.Sequential controls both the layout in managed memory and the layout in unmanaged memory"; however is this also true for constructed types?

For example if I have the following type constructor:

using System.Runtime.InteropServices;
[StructLayout(LayoutKind.Sequential)]
public readonly struct Maybe<TSome> where TSome: notnull {
    readonly TSome _some;
    readonly byte _flag;
}

is the type Maybe<uint> guaranteed to be 8 bytes in size with the first 4 bytes corresponding to the uint field _some, the next byte corresponding to the byte field _flag, and the last 3 bytes being padding (due to the fact that the packing of the type defaults to 4 thus the size defaults to a multiple of 4)?

I've tried creating many different type constructors with variable number of type parameters and constructing types from said type constructors, and the layout was always what I predicted it to be; however that obviously falls quite short of a mathematical proof.

[zacknewman]

As answered by @tannergooding here—which motivated this question to begin with—the answer is in the affirmative.