trait T : Iterator //~^ ERROR cycle detected {} fn main() {}