[marler8997]

Implement proposal #2907 (ability to create primitive types from TypeInfo, but not necessarily aggregate types)

Because of existing/surrounding code...this PR mostly wrote itself.

Let me know if you'd like me to implement any more types.

[andrewrk]

Nice work

[andrewrk]

Is there some way to set this up such that if that enum ever changes, we'll get a compile error here, or at least something easily debuggable?

[marler8997]

I think what I would do is define the enum values of builtin.Size in some data structure, then generate both the builtin code and an enum that the C++ compiler can use. Then instead of using hardcoded values of 0, 1, 2, and 3, you could use something like BUILTIN_SIZE_ONE BUILTIN_SIZE_MANY BUILTIN_SIZE_SLICE and BUILTIN_SLICE_C.

But this design would take a bit of work, I would think it would warrant a separate PR. Unless you have a simpler idea?

[andrewrk]

I have a simpler idea: static_assert. As long as we get a compile error nearby the code that needs to be changed, everything is fine.