Collection of failing rust programs

fn helper() {}

fn main() {
    // Function items are zero-sized; calling through a `fn()` slot exercises constant decoding.
    let f: fn() = helper;
    f();
}

• this is the program tried to test #809 and #813
• #813 stuck at a term that solved in #809
• #809 stuck at the following term where types 25,7 not found in types; this might be able to be solved by adding function types in types.

#cast ( Aggregate ( variantIdx ( 0 ) , .List ) , castKindPointerCoercion ( pointerCoercionReifyFnPointer ) , ty ( 25 ) , ty ( 7 ) )

Start by reproducing the Rust program in the issue and read the related context in issues #809 and #813. Trace the term involving pointer coercion and types 25 and 7 to identify where decoding stops. Done means the failing program progresses without the reported unresolved types.