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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
// build-pass
// The ICE didn't happen with `cargo check` but `cargo build`.
use std::marker::PhantomData;
trait Owned<'a> {
type Reader;
}
impl<'a> Owned<'a> for () {
type Reader = ();
}
trait Handler {
fn handle(&self);
}
struct CtxHandlerWithoutState<M, F> {
message_type: PhantomData<M>,
_function: F,
}
impl<M, F> CtxHandlerWithoutState<M, F> {
pub fn new(_function: F) -> Self {
Self {
message_type: PhantomData,
_function,
}
}
}
impl<'a, M, F> Handler for CtxHandlerWithoutState<M, F>
where
F: Fn(<M as Owned<'a>>::Reader),
M: Owned<'a>,
{
fn handle(&self) {}
}
fn e_to_i<M: for<'a> Owned<'a>>(_: <M as Owned<'_>>::Reader) {}
fn send_external_to_internal<M>()
where
M: for<'a> Owned<'a>,
{
let _: Box<dyn Handler> = Box::new(CtxHandlerWithoutState::<M, _>::new(e_to_i::<M>));
}
fn main() {
send_external_to_internal::<()>()
}
|
