{"ast_node_type":"variable","tokens":[{"end":81,"kind":"keyword","start":0,"text":"let"}]}
                    let (provided_ty, provided_span) = provided_arg_tys[arg_idx];
                Error::Extra(arg_idx) => {
                    let provided_ty_name = if !has_error_or_infer([provided_ty]) {