// =============================================================================
// Copyright (c) 2025 - 2026 Haixing Hu.
//
// SPDX-License-Identifier: Apache-2.0
//
// Licensed under the Apache License, Version 2.0.
// =============================================================================
use TimerFailurePoint;
/// Verifies that failure points retain value semantics for test assertions.
/// Verifies that failure points produce useful diagnostic output.