From 2fa31d3e78d8ee9d9a5118516f69f5017a1ca984 Mon Sep 17 00:00:00 2001
From: Michael Goulet <michael@errs.io>
Date: Fri, 23 Sep 2022 00:56:55 +0000
Subject: Serialize RPITIT values in libs

---
 src/test/ui/impl-trait/in-trait/auxiliary/rpitit.rs | 11 +++++++++++
 src/test/ui/impl-trait/in-trait/foreign.rs          |  9 +++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 src/test/ui/impl-trait/in-trait/auxiliary/rpitit.rs
 create mode 100644 src/test/ui/impl-trait/in-trait/foreign.rs

(limited to 'src/test')

diff --git a/src/test/ui/impl-trait/in-trait/auxiliary/rpitit.rs b/src/test/ui/impl-trait/in-trait/auxiliary/rpitit.rs
new file mode 100644
index 00000000000..74df300f85a
--- /dev/null
+++ b/src/test/ui/impl-trait/in-trait/auxiliary/rpitit.rs
@@ -0,0 +1,11 @@
+#![feature(return_position_impl_trait_in_trait)]
+
+pub trait Foo {
+    fn bar() -> impl Sized;
+}
+
+pub struct Foreign;
+
+impl Foo for Foreign {
+    fn bar() {}
+}
diff --git a/src/test/ui/impl-trait/in-trait/foreign.rs b/src/test/ui/impl-trait/in-trait/foreign.rs
new file mode 100644
index 00000000000..6341f5b4284
--- /dev/null
+++ b/src/test/ui/impl-trait/in-trait/foreign.rs
@@ -0,0 +1,9 @@
+// check-pass
+// aux-build: rpitit.rs
+
+extern crate rpitit;
+
+fn main() {
+    // Witness an RPITIT from another crate
+    let () = <rpitit::Foreign as rpitit::Foo>::bar();
+}
-- 
cgit 1.4.1-3-g733a5