I just found the definition of a building according to OSM:
In OpenStreetMap, a building is a man-made structure with a roof, standing more or less permanently in one place.
(source)
If we use this definition, then a lot of the trolley bays would be a building=*.
I agree. We should not use building=* just to render the trolley bay but we should also not leave building=* out just because some people missuse it. We should use building=* when we map a building, without considering rendernig. From my point of view, a trolley bay with a roof schould be a building=*. Like I said, covered=yes is about as popular as building=* for amenity=trolley_bay. That does not seem like consensus among mappers.
Do we have consensus on this forum? Which tags would you add to the amenity=trolley_bay seen on the photo below?
covered=yesbuilding=*
