-
Notifications
You must be signed in to change notification settings - Fork 59
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix: anyhow::Result<Self> can be returned from constructors and other…
… fallible components (#293) This PR fixes an issue in the bindings of generic parameters for type aliases.
- Loading branch information
1 parent
54c9b29
commit 6077a6f
Showing
6 changed files
with
280 additions
and
4 deletions.
There are no files selected for viewing
164 changes: 164 additions & 0 deletions
164
..._cli/tests/ui_tests/reflection/self_as_generic_parameter_is_supported/expectations/app.rs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,164 @@ | ||
//! Do NOT edit this code. | ||
//! It was automatically generated by Pavex. | ||
//! All manual edits will be lost next time the code is generated. | ||
extern crate alloc; | ||
struct ServerState { | ||
router: pavex_matchit::Router<u32>, | ||
#[allow(dead_code)] | ||
application_state: ApplicationState, | ||
} | ||
pub struct ApplicationState {} | ||
pub async fn build_application_state() -> crate::ApplicationState { | ||
crate::ApplicationState {} | ||
} | ||
pub fn run( | ||
server_builder: pavex::server::Server, | ||
application_state: ApplicationState, | ||
) -> pavex::server::ServerHandle { | ||
let server_state = std::sync::Arc::new(ServerState { | ||
router: build_router(), | ||
application_state, | ||
}); | ||
server_builder.serve(route_request, server_state) | ||
} | ||
fn build_router() -> pavex_matchit::Router<u32> { | ||
let mut router = pavex_matchit::Router::new(); | ||
router.insert("/home", 0u32).unwrap(); | ||
router | ||
} | ||
async fn route_request( | ||
request: http::Request<hyper::body::Incoming>, | ||
_connection_info: Option<pavex::connection::ConnectionInfo>, | ||
server_state: std::sync::Arc<ServerState>, | ||
) -> pavex::response::Response { | ||
let (request_head, request_body) = request.into_parts(); | ||
#[allow(unused)] | ||
let request_body = pavex::request::body::RawIncomingBody::from(request_body); | ||
let request_head: pavex::request::RequestHead = request_head.into(); | ||
let matched_route = match server_state.router.at(&request_head.target.path()) { | ||
Ok(m) => m, | ||
Err(_) => { | ||
let allowed_methods: pavex::router::AllowedMethods = pavex::router::MethodAllowList::from_iter( | ||
vec![], | ||
) | ||
.into(); | ||
return route_1::entrypoint(&allowed_methods).await; | ||
} | ||
}; | ||
let route_id = matched_route.value; | ||
#[allow(unused)] | ||
let url_params: pavex::request::path::RawPathParams<'_, '_> = matched_route | ||
.params | ||
.into(); | ||
match route_id { | ||
0u32 => { | ||
match &request_head.method { | ||
&pavex::http::Method::GET => route_0::entrypoint().await, | ||
_ => { | ||
let allowed_methods: pavex::router::AllowedMethods = pavex::router::MethodAllowList::from_iter([ | ||
pavex::http::Method::GET, | ||
]) | ||
.into(); | ||
route_1::entrypoint(&allowed_methods).await | ||
} | ||
} | ||
} | ||
i => unreachable!("Unknown route id: {}", i), | ||
} | ||
} | ||
pub mod route_0 { | ||
pub async fn entrypoint() -> pavex::response::Response { | ||
let response = wrapping_0().await; | ||
response | ||
} | ||
async fn stage_1() -> pavex::response::Response { | ||
let response = handler().await; | ||
response | ||
} | ||
async fn wrapping_0() -> pavex::response::Response { | ||
let v0 = crate::route_0::Next0 { | ||
next: stage_1, | ||
}; | ||
let v1 = pavex::middleware::Next::new(v0); | ||
let v2 = pavex::middleware::wrap_noop(v1).await; | ||
<pavex::response::Response as pavex::response::IntoResponse>::into_response(v2) | ||
} | ||
async fn handler() -> pavex::response::Response { | ||
let v0 = app::A::new(); | ||
let v1 = match v0 { | ||
Ok(ok) => ok, | ||
Err(v1) => { | ||
return { | ||
let v2 = app::error_handler(&v1); | ||
<pavex::response::Response as pavex::response::IntoResponse>::into_response( | ||
v2, | ||
) | ||
}; | ||
} | ||
}; | ||
let v2 = app::handler(v1); | ||
<pavex::response::Response as pavex::response::IntoResponse>::into_response(v2) | ||
} | ||
struct Next0<T> | ||
where | ||
T: std::future::Future<Output = pavex::response::Response>, | ||
{ | ||
next: fn() -> T, | ||
} | ||
impl<T> std::future::IntoFuture for Next0<T> | ||
where | ||
T: std::future::Future<Output = pavex::response::Response>, | ||
{ | ||
type Output = pavex::response::Response; | ||
type IntoFuture = T; | ||
fn into_future(self) -> Self::IntoFuture { | ||
(self.next)() | ||
} | ||
} | ||
} | ||
pub mod route_1 { | ||
pub async fn entrypoint<'a>( | ||
s_0: &'a pavex::router::AllowedMethods, | ||
) -> pavex::response::Response { | ||
let response = wrapping_0(s_0).await; | ||
response | ||
} | ||
async fn stage_1<'a>( | ||
s_0: &'a pavex::router::AllowedMethods, | ||
) -> pavex::response::Response { | ||
let response = handler(s_0).await; | ||
response | ||
} | ||
async fn wrapping_0( | ||
v0: &pavex::router::AllowedMethods, | ||
) -> pavex::response::Response { | ||
let v1 = crate::route_1::Next0 { | ||
s_0: v0, | ||
next: stage_1, | ||
}; | ||
let v2 = pavex::middleware::Next::new(v1); | ||
let v3 = pavex::middleware::wrap_noop(v2).await; | ||
<pavex::response::Response as pavex::response::IntoResponse>::into_response(v3) | ||
} | ||
async fn handler(v0: &pavex::router::AllowedMethods) -> pavex::response::Response { | ||
let v1 = pavex::router::default_fallback(v0).await; | ||
<pavex::response::Response as pavex::response::IntoResponse>::into_response(v1) | ||
} | ||
struct Next0<'a, T> | ||
where | ||
T: std::future::Future<Output = pavex::response::Response>, | ||
{ | ||
s_0: &'a pavex::router::AllowedMethods, | ||
next: fn(&'a pavex::router::AllowedMethods) -> T, | ||
} | ||
impl<'a, T> std::future::IntoFuture for Next0<'a, T> | ||
where | ||
T: std::future::Future<Output = pavex::response::Response>, | ||
{ | ||
type Output = pavex::response::Response; | ||
type IntoFuture = T; | ||
fn into_future(self) -> Self::IntoFuture { | ||
(self.next)(self.s_0) | ||
} | ||
} | ||
} |
51 changes: 51 additions & 0 deletions
51
...s/ui_tests/reflection/self_as_generic_parameter_is_supported/expectations/diagnostics.dot
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,51 @@ | ||
digraph "GET /home - 0" { | ||
0 [ label = "pavex::middleware::wrap_noop(pavex::middleware::Next<crate::route_0::Next0>) -> pavex::response::Response"] | ||
1 [ label = "pavex::middleware::Next::new(crate::route_0::Next0) -> pavex::middleware::Next<crate::route_0::Next0>"] | ||
2 [ label = "crate::route_0::Next0() -> crate::route_0::Next0"] | ||
3 [ label = "<pavex::response::Response as pavex::response::IntoResponse>::into_response(pavex::response::Response) -> pavex::response::Response"] | ||
1 -> 0 [ ] | ||
2 -> 1 [ ] | ||
0 -> 3 [ ] | ||
} | ||
|
||
digraph "GET /home - 1" { | ||
0 [ label = "app::handler(app::A) -> pavex::response::Response"] | ||
1 [ label = "core::prelude::rust_2015::Result<app::A, anyhow::Error> -> app::A"] | ||
2 [ label = "app::A::new() -> core::prelude::rust_2015::Result<app::A, anyhow::Error>"] | ||
3 [ label = "<pavex::response::Response as pavex::response::IntoResponse>::into_response(pavex::response::Response) -> pavex::response::Response"] | ||
4 [ label = "core::prelude::rust_2015::Result<app::A, anyhow::Error> -> anyhow::Error"] | ||
5 [ label = "app::error_handler(&anyhow::Error) -> pavex::response::Response"] | ||
6 [ label = "<pavex::response::Response as pavex::response::IntoResponse>::into_response(pavex::response::Response) -> pavex::response::Response"] | ||
7 [ label = "`match`"] | ||
1 -> 0 [ ] | ||
7 -> 4 [ ] | ||
7 -> 1 [ ] | ||
0 -> 3 [ ] | ||
4 -> 5 [ label = "&"] | ||
5 -> 6 [ ] | ||
2 -> 7 [ ] | ||
} | ||
|
||
digraph "* /home - 0" { | ||
0 [ label = "pavex::middleware::wrap_noop(pavex::middleware::Next<crate::route_1::Next0<'a>>) -> pavex::response::Response"] | ||
1 [ label = "pavex::middleware::Next::new(crate::route_1::Next0<'a>) -> pavex::middleware::Next<crate::route_1::Next0<'a>>"] | ||
2 [ label = "crate::route_1::Next0(&'a pavex::router::AllowedMethods) -> crate::route_1::Next0<'a>"] | ||
4 [ label = "<pavex::response::Response as pavex::response::IntoResponse>::into_response(pavex::response::Response) -> pavex::response::Response"] | ||
5 [ label = "&pavex::router::AllowedMethods"] | ||
1 -> 0 [ ] | ||
2 -> 1 [ ] | ||
0 -> 4 [ ] | ||
5 -> 2 [ ] | ||
} | ||
|
||
digraph "* /home - 1" { | ||
0 [ label = "pavex::router::default_fallback(&pavex::router::AllowedMethods) -> pavex::response::Response"] | ||
2 [ label = "<pavex::response::Response as pavex::response::IntoResponse>::into_response(pavex::response::Response) -> pavex::response::Response"] | ||
3 [ label = "&pavex::router::AllowedMethods"] | ||
0 -> 2 [ ] | ||
3 -> 0 [ ] | ||
} | ||
|
||
digraph app_state { | ||
0 [ label = "crate::ApplicationState() -> crate::ApplicationState"] | ||
} |
26 changes: 26 additions & 0 deletions
26
.../tests/ui_tests/reflection/self_as_generic_parameter_is_supported/expectations/stderr.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,26 @@ | ||
[31m[1mERROR[0m[39m: | ||
[31m×[0m I am not smart enough to figure out the concrete type for all the generic | ||
[31m│[0m parameters in `app::stream_file::<std::path::PathBuf>`. | ||
[31m│[0m There should no unassigned generic parameters in request handlers, but `T` | ||
[31m│[0m does not seem to have been assigned a concrete type. | ||
[31m│[0m | ||
[31m│[0m ╭─[[36;1;4msrc/lib.rs[0m:8:1] | ||
[31m│[0m [2m 8[0m │ let mut bp = Blueprint::new(); | ||
[31m│[0m [2m 9[0m │ bp.route(GET, "/home", f!(crate::stream_file::<std::path::PathBuf>)); | ||
[31m│[0m · [35;1m ──────────────────────┬─────────────────────[0m | ||
[31m│[0m · [35;1m╰── [35;1mThe request handler was registered here[0m[0m | ||
[31m│[0m [2m10[0m │ bp | ||
[31m│[0m ╰──── | ||
[31m│[0m [31m×[0m | ||
[31m│[0m ╭─[[36;1;4msrc/lib.rs[0m:1:1] | ||
[31m│[0m [2m1[0m │ pub fn stream_file<T>(_inner: T) -> pavex_runtime::response::Response { | ||
[31m│[0m · [35;1m ┬[0m | ||
[31m│[0m · [35;1m╰── [35;1mThe generic parameter without a concrete type[0m[0m | ||
[31m│[0m [2m2[0m │ todo!() | ||
[31m│[0m ╰──── | ||
[31m│[0m [36m help: [0mSpecify the concrete type for `T` when registering the request | ||
[31m│[0m handler against the blueprint: | ||
[31m│[0m | bp.route( | ||
[31m│[0m | .. | ||
[31m│[0m | f!(my_crate::my_handler::<ConcreteType>), | ||
[31m│[0m | ) |
28 changes: 28 additions & 0 deletions
28
libs/pavex_cli/tests/ui_tests/reflection/self_as_generic_parameter_is_supported/lib.rs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,28 @@ | ||
use std::path::PathBuf; | ||
|
||
use pavex::blueprint::{constructor::Lifecycle, router::GET, Blueprint}; | ||
use pavex::f; | ||
|
||
pub struct A {} | ||
|
||
impl A { | ||
pub fn new() -> anyhow::Result<Self> { | ||
todo!() | ||
} | ||
} | ||
|
||
pub fn error_handler(_err: &anyhow::Error) -> pavex::response::Response { | ||
todo!() | ||
} | ||
|
||
pub fn handler(_inner: A) -> pavex::response::Response { | ||
todo!() | ||
} | ||
|
||
pub fn blueprint() -> Blueprint { | ||
let mut bp = Blueprint::new(); | ||
bp.request_scoped(f!(crate::A::new)) | ||
.error_handler(f!(crate::error_handler)); | ||
bp.route(GET, "/home", f!(crate::handler)); | ||
bp | ||
} |
8 changes: 8 additions & 0 deletions
8
...vex_cli/tests/ui_tests/reflection/self_as_generic_parameter_is_supported/test_config.toml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,8 @@ | ||
description = "pavex does not support generic functions as handlers (yet)" | ||
|
||
[expectations] | ||
codegen = "pass" | ||
|
||
[dependencies] | ||
anyhow = "1.0" | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters