Struct as ProvidedTypeDefinition

At my very first attempt to create a ProvidedTypeDefinition I used the following line:

let mTy = ProvidedTypeDefinition(message.Key, baseType = Some(typeof<ValueType>), 
                            HideObjectMethods = true, IsErased = false)

The TP and code gen worked with ValueType until I called constructor of the provided type. Then I received a CLR error saying about stack corruption.

When I compared IL of my provided value type with a normal struct constructor I found some differences. IL_0001 calls ValueType constructor, but it shouldn’t be done for structs. It seems that it is possible to add special handling of ValueTypes on this line (and maybe somewhere else) and generate valid constructors.

I am not yet comfortable with IL. What is needed to generate structs if that is possible at all?

.method public specialname rtspecialname 
    instance void .ctor (
        class [Spreads.Extensions]Spreads.Serialization.IDirectBuffer buffer
    ) cil managed 
{
    // Method begins at RVA 0x20d4
    // Code size 31 (0x1f)
    .maxstack 4
    .locals init (
        [0] valuetype SBETypeProviderTest.CarSchema/Car,
        [1] class [Spreads.Extensions]Spreads.Serialization.IDirectBuffer
    )

    IL_0000: ldarg.0
    IL_0001: call instance void [mscorlib]System.ValueType::.ctor()
    IL_0006: ldarg.0
    IL_0007: nop
    IL_0008: nop
    IL_0009: stloc.0
    IL_000a: nop
    IL_000b: nop
    IL_000c: ldarg.1
    IL_000d: nop
    IL_000e: nop
    IL_000f: stloc.1
    IL_0010: nop
    IL_0011: nop
    IL_0012: ldloca.s 0
    IL_0014: nop
    IL_0015: nop
    IL_0016: ldloc.1
    IL_0017: nop
    IL_0018: nop
    IL_0019: stfld class [Spreads.Extensions]Spreads.Serialization.IDirectBuffer SBETypeProviderTest.CarSchema/Car::_directBuffer
    IL_001e: ret
} // end of method Car::.ctor

[dsyme]

This was done here: https://github.com/fsprojects/FSharp.TypeProviders.SDK/pull/344

[buybackoff]

@dsyme @tpetricek should that be feasible at all? I feel like doing this, unless there is some unknown for me blocking issue that I will learn in the process.