{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"cx.require_lang_item(TraitSolverLangItem::Sized),"}]}
                            cx.require_lang_item(TraitSolverLangItem::Sized),
                            cx,
                            [I::GenericArg::from(goal.predicate.self_ty())],