{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":");"}]}
            );
                Ty::new_projection_from_args(infcx.tcx, assoc_item_def_id, args),
            // FIXME(compiler-errors): We may benefit from resolving regions here.