RoutingData interface missing type "number" #493
Description
This route #[Route('/user/{page<\d+>}', name: 'user_list')] will cause a type error because interface missing type "number".
{{ message }}
This route #[Route('/user/{page<\d+>}', name: 'user_list')] will cause a type error because interface missing type "number".