warp is quite a nice framework but it has a really bad tendency to blow up compiletimes in my experience. I think for non trivial projects in the future I will prefer something else because it can be a real sore spot.
Warp is really cool from a fun "look what we can do with the type system" way, and I enjoyed it for a pet project. However, when we used it at work, it quickly became incredibly annoying in a larger team. My main gripe with it is it's unusual (which o previously thought was cool) way of building the routing tree, which impedes visibility in code. I.e. I can't just grep for a route; I need to walk the tree to find a handler. There's also a few other things it doesn't handle that well, like streams. However, you're right that the compile times are an issue too.
I much enjoy Axum now though, and whose API slightly reminds me of Bevy's ECS; in its practical use of the type system to achieve ergonomics.
