{"ast_node_type":"variable","tokens":[{"end":34,"kind":"keyword","start":0,"text":"let"}]}
        let infer = db.infer(def);
        let (body, source_map) = db.body_with_source_map(def);
        infer_def(infer, body, source_map, krate);