{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"iter::zip(decl.inputs,"}]}
                iter::zip(decl.inputs, supplied_sig.inputs()),
            for ((hir_ty, &supplied_ty), expected_ty) in iter::zip(
                expected_sigs.liberated_sig.inputs(), // `liberated_sig` is E'.