diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:19:13 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:19:13 +0000 |
commit | 218caa410aa38c29984be31a5229b9fa717560ee (patch) | |
tree | c54bd55eeb6e4c508940a30e94c0032fbd45d677 /src/test/ui/codegen/issue-64401.rs | |
parent | Releasing progress-linux version 1.67.1+dfsg1-1~progress7.99u1. (diff) | |
download | rustc-218caa410aa38c29984be31a5229b9fa717560ee.tar.xz rustc-218caa410aa38c29984be31a5229b9fa717560ee.zip |
Merging upstream version 1.68.2+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/codegen/issue-64401.rs')
-rw-r--r-- | src/test/ui/codegen/issue-64401.rs | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/src/test/ui/codegen/issue-64401.rs b/src/test/ui/codegen/issue-64401.rs deleted file mode 100644 index 53f85c63b..000000000 --- a/src/test/ui/codegen/issue-64401.rs +++ /dev/null @@ -1,51 +0,0 @@ -// 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::<()>() -} |