package test; trait Test[Bracks <: Bracks] { def f(list : Any) = null; class C[T] val bracks : Bracks; val singletons = f(bracks); }