trait Trac4180 {
  type A
  object A
}