Enable the "Create Types from C Source" to overwrite System/Library Types

In the Create Types from C Source Dialog, if a type is already defined, there is a warning and the possibility of overwriting the type with the new definition.

If the type is defined by a System or Library, this option is not given, which can be very inconvenient if one tries to create a lot of types with many fields that depend on each other.

Repro

• load the tm_vuln.sys into Binja (ensure that the PDB gets applied)
• try to import the types from the ktmtypes.h file

Many structs that are defined by the PDB or System are empty (just padding) and are not useful. It is a lot of work if one needs first to define the types required by these "padding types" and then fill them in separately. Another way would be to rename the old types, import the new types, and then change all occurrences of the old and new types (that is what I did), but it also is not a nice way of doing things.

Files

• files.zip

Reproduce the issue in the Create Types from C Source dialog using tm_vuln.sys, its applied PDB, and ktmtypes.h from files.zip. Trace the dialog and type-import handling to see how System or Library definitions are treated; done means an existing System or Library type can be explicitly overwritten with the imported definition.