c2rust-transpile uses Option<fn(...)> to represent C function pointers, which can be null. This means it often emits code like fp = Some(f). dataflow::type_check currently fails on this code, since the Rvalue::Aggregate case assumes the ADT being constructed is either a struct or an enum.
c2rust-transpileusesOption<fn(...)>to represent C function pointers, which can be null. This means it often emits code likefp = Some(f).dataflow::type_checkcurrently fails on this code, since theRvalue::Aggregatecase assumes the ADT being constructed is either a struct or an enum.