in your example, T is not the receiver type of the...
# announcements
y
in your example, T is not the receiver type of the property, but the receiver type of the functional type which is the type of the property