tests/crashes/141124.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

//@ known-bug: #141124
struct S;
trait SimpleTrait {}
trait TraitAssoc {
    type Assoc;
}

impl<T> TraitAssoc for T
where
    T: SimpleTrait,
{
    type Assoc = <(T,) as TraitAssoc>::Assoc;
}
impl SimpleTrait for <S as TraitAssoc>::Assoc {}

pub fn main() {}