summaryrefslogtreecommitdiffstats
path: root/src/test/ui/codegen/issue-64401.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
commit218caa410aa38c29984be31a5229b9fa717560ee (patch)
treec54bd55eeb6e4c508940a30e94c0032fbd45d677 /src/test/ui/codegen/issue-64401.rs
parentReleasing progress-linux version 1.67.1+dfsg1-1~progress7.99u1. (diff)
downloadrustc-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.rs51
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::<()>()
-}