{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"should_normalize:"}]}
        should_normalize: bool,
        body: &'tcx hir::Body<'tcx>,
        nested_goals: &'cx mut Vec<Goal<'tcx, ty::Predicate<'tcx>>>,