{"ast_node_type":"variable","tokens":[{"end":67,"kind":"keyword","start":0,"text":"let"}]}
        let (body, body_source_map) = db.body_with_source_map(def);
        let display_target = DisplayTarget::from_crate(&db, krate);
        let inference_result = db.infer(def);