{"ast_node_type":"variable","tokens":[{"end":71,"kind":"keyword","start":0,"text":"let"}]}
        let Some(InferOk { value: ty, mut obligations }) = found else {
        // confusing.
            if let Some(first_error) = first_error {