blob: 23be735010bf3374d169fcd18944533ee1272b7a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
#![feature(associated_type_bounds)]
use std::fmt::Debug;
use std::iter::Empty;
use std::ops::Range;
trait Lam<Binder> { type App; }
#[derive(Clone)]
struct L1;
impl<'a> Lam<&'a u8> for L1 { type App = u8; }
#[derive(Clone)]
struct L2;
impl<'a, 'b> Lam<&'a &'b u8> for L2 { type App = u8; }
trait Case1 {
type A: Iterator<Item: Debug>;
//~^ ERROR `<<Self as Case1>::A as Iterator>::Item` doesn't implement `Debug`
type B: Iterator<Item: 'static>;
}
pub struct S1;
impl Case1 for S1 {
type A = Empty<String>;
type B = Range<u16>;
}
// Ensure we don't have opaque `impl Trait` desugaring:
// What is this supposed to mean? Rustc currently lowers `: Default` in the
// bounds of `Out`, but trait selection can't find the bound since it applies
// to a type other than `Self::Out`.
pub trait Foo { type Out: Baz<Assoc: Default>; }
//~^ ERROR trait bound `<<Self as Foo>::Out as Baz>::Assoc: Default` is not satisfied
pub trait Baz { type Assoc; }
#[derive(Default)]
struct S2;
#[derive(Default)]
struct S3;
struct S4;
struct S5;
struct S6;
struct S7;
impl Foo for S6 { type Out = S4; }
impl Foo for S7 { type Out = S5; }
impl Baz for S4 { type Assoc = S2; }
impl Baz for S5 { type Assoc = S3; }
fn main() {}
|
