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