inbuxa-server/vendor/opentelemetry-rust/opentelemetry_sdk/tests/miri_smoke.rs

// Targeted Miri regression check for SDK default resource construction.
// This does not imply general opentelemetry-rust Miri support; see #3554.
#[cfg(feature = "metrics")]
#[test]
fn default_meter_provider_builds() {
    let provider = opentelemetry_sdk::metrics::SdkMeterProvider::builder().build();
    drop(provider);
}