. "convertible to A, or if A is a struct and T" . . .