{"ast_node_type":"variable","tokens":[{"end":47,"kind":"keyword","start":0,"text":"let"}]}
        let (inputs_and_output, def_id, args) =
        let self_ty = goal.predicate.self_ty();
            structural_traits::extract_fn_def_from_const_callable(cx, self_ty)?;