{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":");"}]}
                        );
                            [I::GenericArg::from(goal.predicate.self_ty())],
                        ecx.add_goal(GoalSource::Misc, goal.with(cx, sized_predicate));