trait A[T, S] {
    def x: S
}