fn local_decls_for_sig<'tcx>(
    sig: &FnSig<'tcx>,
    span: Span
) -> IndexVec<Local, LocalDecl<'tcx>>