Inconsistent behavior of ∈ (building node part of building shape)

[Famlam]

I spotted ​node 8793042989 where a (closed) building way contains a node with the same building tag, i.e. a node of the way equals the way itself.

Maybe it is interesting for JOSM to add the following rule to catch such cases?

way[building][building!=no]:closed > node[building][tag("building")==parent_tag("building")] {
  throwWarning: tr("{0} node part of {0} way", "{0.key}");
}

[Famlam]

OSM data showing an example

[taylor.smock]

This is partly caught by the building inside building check. See source:trunk/resources/data/validator/geometry.mapcss@18667:186-190#L186​ .

Try adding building=shed to node 8793042988 and run the validator.

I think this might be a bug with ∈. I'd have to check the docs though.

[skyper]

fix link

[Famlam]

The behavior is indeed very inconsistent. If its the first (equaling last) node of the closed building way, it is caught by the ∈-rule. All other nodes are not matched by this rule. It should be either all nodes match, or none. (The description in the docs, "contains", doesn't specify whether that includes the border way or only the content within the bordering way)