summaryrefslogtreecommitdiffstats
path: root/src/test/ui/rfc-2632-const-trait-impl/issue-100222.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/rfc-2632-const-trait-impl/issue-100222.rs')
-rw-r--r--src/test/ui/rfc-2632-const-trait-impl/issue-100222.rs39
1 files changed, 0 insertions, 39 deletions
diff --git a/src/test/ui/rfc-2632-const-trait-impl/issue-100222.rs b/src/test/ui/rfc-2632-const-trait-impl/issue-100222.rs
deleted file mode 100644
index 9f3f38ad4..000000000
--- a/src/test/ui/rfc-2632-const-trait-impl/issue-100222.rs
+++ /dev/null
@@ -1,39 +0,0 @@
-// revisions: nn ny yn yy
-// check-pass
-#![feature(const_trait_impl, associated_type_defaults, const_mut_refs)]
-
-#[cfg_attr(any(yn, yy), const_trait)]
-pub trait Index {
- type Output;
-}
-
-#[cfg_attr(any(ny, yy), const_trait)]
-pub trait IndexMut where Self: Index {
- const C: <Self as Index>::Output;
- type Assoc = <Self as Index>::Output;
- fn foo(&mut self, x: <Self as Index>::Output) -> <Self as Index>::Output;
-}
-
-impl Index for () { type Output = (); }
-
-#[cfg(not(any(nn, yn)))]
-impl const IndexMut for <() as Index>::Output {
- const C: <Self as Index>::Output = ();
- type Assoc = <Self as Index>::Output;
- fn foo(&mut self, x: <Self as Index>::Output) -> <Self as Index>::Output
- where <Self as Index>::Output:,
- {}
-}
-
-#[cfg(any(nn, yn))]
-impl IndexMut for <() as Index>::Output {
- const C: <Self as Index>::Output = ();
- type Assoc = <Self as Index>::Output;
- fn foo(&mut self, x: <Self as Index>::Output) -> <Self as Index>::Output
- where <Self as Index>::Output:,
- {}
-}
-
-const C: <() as Index>::Output = ();
-
-fn main() {}