Micrometer Tracing supports automatic trace propagation through the use of HttpServerTracingObservationHandler and HttpClientTracingObservationHandler.
The auto-configuration should provide these beans, with an order before the DefaultTracingObservationHandler. The ObservationAutoConfiguration will then pick them up and configures them through TracingObservationHandlerGrouping into the ObservationConfig.