{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"}"}]}
                    } else {
                        Ok(InferOk { value, obligations: ocx.into_pending_obligations() })
                        Err(TypeError::Mismatch)