Split router while using verified routes

We went with

match :*, "/users/*path", MyAppWeb.UserRouter

for router splitting (using macros was causing frequent big recompiles for us)
We are used to alias the Router we want to refer before using path helpers

  alias MyAppWeb.UserRouter.Helpers, as: Routes
  #...
  Routes.users_path(...)

We did not move to verified routes yet, but I would assume we would need to move from aliasing to use Phoenix.VerifiedRoutes