expression: ab
expected type: T
