{"ast_node_type":"variable","tokens":[{"end":55,"kind":"keyword","start":0,"text":"let"}]}
            let (fn_did, args) = match func_ty.kind() {
        let instance = if let ConstraintCategory::CallArgument(Some(func_ty)) = category {
                ty::FnDef(fn_did, args) => (fn_did, args),