get_text_map_propagator dispatches through a trait object so the trait
doesn't need to be in scope at the call site.

https://claude.ai/code/session_01Tbgz29e8A9KS4Bh94skkFX

diff --git a/quire-server/src/ci/mod.rs b/quire-server/src/ci/mod.rs
index 5b0b503..f4032d1 100644
--- a/quire-server/src/ci/mod.rs
+++ b/quire-server/src/ci/mod.rs
@@ -5,7 +5,6 @@ mod run;
 pub(crate) mod error;
 
 pub use error::{Error, Result};
-use opentelemetry::propagation::TextMapPropagator as _;
 pub use quire_core::ci::pipeline::{
     DefinitionError, Diagnostic, Job, Pipeline, PipelineError, StructureError,
 };