about summary refs log tree commit diff
path: root/tests/ui/generator/metadata-sufficient-for-layout.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/generator/metadata-sufficient-for-layout.rs')
-rw-r--r--tests/ui/generator/metadata-sufficient-for-layout.rs25
1 files changed, 25 insertions, 0 deletions
diff --git a/tests/ui/generator/metadata-sufficient-for-layout.rs b/tests/ui/generator/metadata-sufficient-for-layout.rs
new file mode 100644
index 00000000000..d0e648ee775
--- /dev/null
+++ b/tests/ui/generator/metadata-sufficient-for-layout.rs
@@ -0,0 +1,25 @@
+// Check that the layout of a generator is available when auxiliary crate
+// is compiled with --emit metadata.
+//
+// Regression test for #80998.
+//
+// aux-build:metadata-sufficient-for-layout.rs
+
+#![feature(type_alias_impl_trait, rustc_attrs)]
+#![feature(generator_trait)]
+
+extern crate metadata_sufficient_for_layout;
+
+use std::ops::Generator;
+
+type F = impl Generator<(), Yield = (), Return = ()>;
+
+// Static queries the layout of the generator.
+static A: Option<F> = None;
+
+fn f() -> F {
+    metadata_sufficient_for_layout::g()
+}
+
+#[rustc_error]
+fn main() {} //~ ERROR