diff options
| author | Jack Huey <jack.huey@umassmed.edu> | 2021-01-31 01:05:25 -0500 |
|---|---|---|
| committer | Jack Huey <jack.huey@umassmed.edu> | 2021-02-02 12:37:22 -0500 |
| commit | a0622d60e0679878950ebe13383eb960ebea6fd6 (patch) | |
| tree | d03e78dde90ff69e0aa66e73ff33ff32b278e87d /src/test/ui | |
| parent | 4b64bc1fc9a48064c0571ad231add94c98673d8c (diff) | |
| download | rust-a0622d60e0679878950ebe13383eb960ebea6fd6.tar.gz rust-a0622d60e0679878950ebe13383eb960ebea6fd6.zip | |
Update Chalk
Diffstat (limited to 'src/test/ui')
| -rw-r--r-- | src/test/ui/associated-type-bounds/atb.rs | 37 |
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() {} |
