Support io.vertx.mutiny.ext.web.Router through @Observes CDI event

[murphye]

Description

I cannot implement void init(@Observes io.vertx.mutiny.ext.web.Router router) as only io.vertx.ext.web.Router seems to be supported. When I need the Mutiny Router, it forces me to do Router.newInstance(router) to convert the regular Router to a Mutiny Router.

When using libraries such as smallrye-mutiny-vertx-web-openapi this becomes an annoyance, as the Mutiny variant of the Router may be needed.

@cescoffier

Implementation ideas

No response

[quarkus-bot]

/cc @cescoffier, @jponge, @manovotn, @mkouba

[murphye]

Example located here
https://github.com/murphye/vertx-web-openapi-quarkus-petstore/blob/resource-defect/src/main/java/org/acme/Main.java#L61

Router.newInstance(router).mountSubRouter("/", apiRouter); // Convert to Mutiny Router and mount apiRouter at '/'

[cescoffier]

Thanks @murphye, that is something we can add easily.