Code generation does not detect default value type mismatches when generating C#

[chwarr]

Given the following .bond file

namespace type_mismatch;

struct HasUint64Field
{
    0: uint64 ui64_field = "this is a string value";
}

The following command runs without error and writes a .cs file.

> .\gbc.exe c# .\default_type_mismatch.bond

The .cs file is not valid however. Notice the ui64_field initialization.

...
namespace type_mismatch
{
    using System.Collections.Generic;

    [global::Bond.Schema]
    [System.CodeDom.Compiler.GeneratedCode("gbc", "3.05")]
    public partial class HasUint64Field
    {
        [global::Bond.Id(0)]
        public ulong ui64_field { get; set; }

        public HasUint64Field()
            : this("type_mismatch.HasUint64Field", "HasUint64Field")
        {}

        protected HasUint64Field(string fullName, string name)
        {
            ui64_field = "this is a string value";
        }
    }
} // type_mismatch

On the other hand, C++ code generation fails with the following error, though it does write _reflection.h and creates _types.h

> .\gbc.exe c++ .\default_type_mismatch.bond
gbc.exe: defaultValue: impossible happened.

Version details:

> .\gbc.exe -V
Bond Compiler 3.05, (C) Microsoft

This gbc is from Bond.CSharp 3.0.6.

[chwarr]

Bond version 4.3.0 is now live on NuGet.org. These changes are included in that version.