interface cycle2 {
  use cycle1.{t};
}