blob: d67e110edeeee0aabb7406503e707c9615e21df0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// Test that we check associated type default values for WFedness.
#![feature(associated_type_defaults)]
#![allow(dead_code)]
struct IsCopy<T:Copy> { x: T }
trait SomeTrait {
type Type1;
type Type2 = (IsCopy<Self::Type1>, bool);
//~^ ERROR E0277
}
fn main() { }
|