{"ast_node_type":"variable","tokens":[{"end":96,"kind":"keyword","start":0,"text":"let"}]}
            let (formal_input_ty, expected_input_ty) = formal_and_expected_inputs[expected_idx];
            // If either is an error type, we defy the usual convention and consider them to *not* be