{"ast_node_type":"variable","tokens":[{"end":28,"kind":"keyword","start":0,"text":"let"}]}
    let body = db.body(def);
    let resolver = def.resolver(db);
    let mut ctx = InferenceContext::new(db, def, &body, resolver);