summaryrefslogtreecommitdiffstats
path: root/tests/ui/lang-items/issue-87573.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/lang-items/issue-87573.rs')
-rw-r--r--tests/ui/lang-items/issue-87573.rs28
1 files changed, 28 insertions, 0 deletions
diff --git a/tests/ui/lang-items/issue-87573.rs b/tests/ui/lang-items/issue-87573.rs
new file mode 100644
index 000000000..aeb0c245a
--- /dev/null
+++ b/tests/ui/lang-items/issue-87573.rs
@@ -0,0 +1,28 @@
+// Regression test for #87573, ensures that duplicate lang items or invalid generics
+// for lang items doesn't cause ICE.
+
+#![feature(no_core, lang_items)]
+#![no_core]
+#![crate_type = "lib"]
+
+pub static STATIC_BOOL: bool = true;
+
+#[lang = "sized"]
+trait Sized {}
+
+#[lang = "copy"]
+trait Copy {}
+
+#[lang = "sync"]
+trait Sync {}
+impl Sync for bool {}
+
+#[lang = "drop_in_place"]
+//~^ ERROR: `drop_in_place` language item must be applied to a function with at least 1 generic argument
+fn drop_fn() {
+ while false {}
+}
+
+#[lang = "start"]
+//~^ ERROR: `start` language item must be applied to a function with 1 generic argument
+fn start(){}