{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"ty::Binder::dummy(tcx.mk_type_list(&[ty]))"}]}
                ty::Binder::dummy(tcx.mk_type_list(&[ty]))
                let ty = args.as_inline_const().ty();
            }