// Copyright 2026 PingCAP, Inc.
// This is a stub lib.rs.