{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":")"}]}
    ) -> InterpResult<'tcx, ty::Instance<'tcx>> {
        args: GenericArgsRef<'tcx>,
        trace!("resolve: {:?}, {:#?}", def, args);