tests/ui/associated-inherent-types/former-subst-ice.rs


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

// check-pass

#![feature(inherent_associated_types)]
#![allow(incomplete_features)]

struct Cont<T>(T);

impl<T: Copy> Cont<T> {
    type Out = Vec<T>;
}

pub fn weird<T: Copy>(x: T) {
    let _: Cont<_>::Out = vec![true];
}

fn main() {}