Open
Description
This will likely require #642 which allows generic propagation. So that bounds info can be propagated along with it. Currently, void* params are marked as wild, so no bounds information is added, and any that may exist in partially-converted files is ignored. When these are rewritten with generics, they become safe and array pointers require bounds to compile with checkedc.
For now, this is an additional -alltypes problem preventing compilation.