Looks like a solution in search of a problem. Given the weakly-typed nature of C, how can this ever be reliable? In an expression like “x = y”, the operands can differ in size and signedness. The inferred types can be wrong and the resulting program can expose different behavior.