abstract HttpTracing httpTracing(ApplicationContext ctx);
@Test void WebMvc31_httpTracing_byType() {
    ApplicationContext context = mock(ApplicationContext.class);

    new WebMvc31().httpTracing(context);

    verify(context).getBean(HttpTracing.class);
    verifyNoMoreInteractions(context);
  }