about summary refs log tree commit diff
path: root/tests/ui/rfcs/rfc-2632-const-trait-impl/tilde-const-maybe-trait.rs
diff options
context:
space:
mode:
authorLeón Orell Valerian Liehr <me@fmease.dev>2023-11-11 15:01:58 +0100
committerLeón Orell Valerian Liehr <me@fmease.dev>2023-11-12 00:00:12 +0100
commit8ce5d784a62e093edfec294a6d92c4101b38e9c3 (patch)
treee714da4bb9f078d5ebfe1d5fa0354d4e0813898c /tests/ui/rfcs/rfc-2632-const-trait-impl/tilde-const-maybe-trait.rs
parent9ab0749ce3fe33fdf84ac2f5b6c6e56b78dc10e8 (diff)
downloadrust-8ce5d784a62e093edfec294a6d92c4101b38e9c3.tar.gz
rust-8ce5d784a62e093edfec294a6d92c4101b38e9c3.zip
Deny more `~const` trait bounds
Diffstat (limited to 'tests/ui/rfcs/rfc-2632-const-trait-impl/tilde-const-maybe-trait.rs')
-rw-r--r--tests/ui/rfcs/rfc-2632-const-trait-impl/tilde-const-maybe-trait.rs6
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/ui/rfcs/rfc-2632-const-trait-impl/tilde-const-maybe-trait.rs b/tests/ui/rfcs/rfc-2632-const-trait-impl/tilde-const-maybe-trait.rs
new file mode 100644
index 00000000000..ed911d965d6
--- /dev/null
+++ b/tests/ui/rfcs/rfc-2632-const-trait-impl/tilde-const-maybe-trait.rs
@@ -0,0 +1,6 @@
+#![feature(const_trait_impl)]
+
+const fn tilde_question<T: ~const ?Sized>() {}
+//~^ ERROR `~const` and `?` are mutually exclusive
+
+fn main() {}