about summary refs log tree commit diff
path: root/src/test/ui
diff options
context:
space:
mode:
authorJack Huey <jack.huey@umassmed.edu>2021-01-31 01:05:25 -0500
committerJack Huey <jack.huey@umassmed.edu>2021-02-02 12:37:22 -0500
commita0622d60e0679878950ebe13383eb960ebea6fd6 (patch)
treed03e78dde90ff69e0aa66e73ff33ff32b278e87d /src/test/ui
parent4b64bc1fc9a48064c0571ad231add94c98673d8c (diff)
downloadrust-a0622d60e0679878950ebe13383eb960ebea6fd6.tar.gz
rust-a0622d60e0679878950ebe13383eb960ebea6fd6.zip
Update Chalk
Diffstat (limited to 'src/test/ui')
-rw-r--r--src/test/ui/associated-type-bounds/atb.rs37
1 files changed, 0 insertions, 37 deletions
diff --git a/src/test/ui/associated-type-bounds/atb.rs b/src/test/ui/associated-type-bounds/atb.rs
deleted file mode 100644
index 65a6a5ec23e..00000000000
--- a/src/test/ui/associated-type-bounds/atb.rs
+++ /dev/null
@@ -1,37 +0,0 @@
-// run-pass
-// compile-flags: -Z verbose
-
-#![allow(unused)]
-#![feature(associated_type_bounds)]
-
-pub trait Beta {
-    type Gamma;
-}
-
-pub trait Delta {
-}
-
-pub trait Epsilon<'e> {
-    type Zeta;
-}
-
-pub trait Eta {
-}
-
-fn where_bound_region_forall2<B>(beta: B) -> usize
-where
-    B: Beta<Gamma: for<'a> Epsilon<'a, Zeta: Eta>>,
-{
-    desugared_bound_region_forall2(beta)
-}
-
-pub fn desugared_bound_region_forall2<B>(beta: B) -> usize
-where
-    B: Beta,
-    B::Gamma: for<'a> Epsilon<'a>,
-    for<'a> <B::Gamma as Epsilon<'a>>::Zeta: Eta,
-{
-    0
-}
-
-fn main() {}