about summary refs log tree commit diff
diff options
context:
space:
mode:
authorYuki Okushi <huyuumi.dev@gmail.com>2020-10-27 08:45:17 +0900
committerGitHub <noreply@github.com>2020-10-27 08:45:17 +0900
commit98e2a9564f338e0f30cbcf6f99762b2a4b3dae14 (patch)
treefb22a8d7eb1c243c1b7b2132e5d4826ef151b019
parentb72d70ef6187f533cb2833fd095d172b59e05f9b (diff)
parent4641d2e6aa990d3fb6730a3208e9fd857f52eb33 (diff)
downloadrust-98e2a9564f338e0f30cbcf6f99762b2a4b3dae14.tar.gz
rust-98e2a9564f338e0f30cbcf6f99762b2a4b3dae14.zip
Rollup merge of #78388 - camelid:regression-tests, r=lcnr
Add some regression tests

Closes #75763.
Closes #76179.
-rw-r--r--src/test/ui/issues/issue-75763.rs15
-rw-r--r--src/test/ui/issues/issue-76179.rs19
2 files changed, 34 insertions, 0 deletions
diff --git a/src/test/ui/issues/issue-75763.rs b/src/test/ui/issues/issue-75763.rs
new file mode 100644
index 00000000000..2fd9f9a60de
--- /dev/null
+++ b/src/test/ui/issues/issue-75763.rs
@@ -0,0 +1,15 @@
+// build-pass
+
+#![allow(incomplete_features)]
+#![feature(const_generics)]
+
+struct Bug<const S: &'static str>;
+
+fn main() {
+    let b: Bug::<{
+        unsafe {
+            // FIXME(const_generics): Decide on how to deal with invalid values as const params.
+            std::mem::transmute::<&[u8], &str>(&[0xC0, 0xC1, 0xF5])
+        }
+    }>;
+}
diff --git a/src/test/ui/issues/issue-76179.rs b/src/test/ui/issues/issue-76179.rs
new file mode 100644
index 00000000000..0e086968b90
--- /dev/null
+++ b/src/test/ui/issues/issue-76179.rs
@@ -0,0 +1,19 @@
+// check-pass
+
+#![feature(associated_type_defaults)]
+
+use std::io::Read;
+
+trait View {
+    type Deserializers: Deserializer<Item = Self::RequestParams>;
+    type RequestParams = DefaultRequestParams;
+}
+
+struct DefaultRequestParams;
+
+trait Deserializer {
+    type Item;
+    fn deserialize(r: impl Read) -> Self::Item;
+}
+
+fn main() {}