{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"nested:"}]}
    nested: Vec<Goal<I, I::Predicate>>,
    mapping: &'a HashMap<I::DefId, Vec<ty::Binder<I, ty::ProjectionPredicate<I>>>>,
}