{"ast_node_type":"variable","tokens":[{"end":99,"kind":"keyword","start":0,"text":"let"}]}
                        let trace = mk_trace(provided_span, (formal_ty, expected_ty), provided_ty);
                    if let Compatibility::Incompatible(error) = compatibility {
                        if let Some(e) = error {