{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"goal:"}]}
        goal: Goal<I, I::Predicate>,
        is_hir_typeck_root_goal: bool,
        opaque_types: Vec<(ty::OpaqueTypeKey<I>, I::Ty)>,