blob: 71158e3c6ef7a800f8eb670337118d1d4ecbc01e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
// Test that we don't ICE for a typeck error that only shows up in dropck
// issue #135039
//@ edition:2018
pub trait AuthUser {
type Id;
}
pub trait AuthnBackend {
type User: AuthUser;
}
pub struct AuthSession<Backend: AuthnBackend> {
user: Option<Backend::User>,
data: Option<<<Backend as AuthnBackend>::User as AuthUser>::Id>,
}
pub trait Authz: Sized {
type AuthnBackend: AuthnBackend<User = Self>;
}
pub trait Query<User: Authz> {
type Output;
async fn run(&self) -> Result<Self::Output, ()>;
}
pub async fn run_query<User: Authz, Q: Query<User> + 'static>(
auth: AuthSession<User::AuthnBackend>,
//~^ ERROR the trait bound `User: AuthUser` is not satisfied [E0277]
//~| ERROR the trait bound `User: AuthUser` is not satisfied [E0277]
query: Q,
) -> Result<Q::Output, ()> {
let user = auth.user;
query.run().await
}
fn main() {}
|
