Missing an error report on type conflicts of a redefined variable

[xtcyclist]

(root@nebula) [test]> match p = (v:Label_5)-[e:Rel_0]-(v1:Label_1), p2 = (p)-[e2:Rel_2]-(v3:Label_3) where id(v) in [100] and id(v3) in [80] return count(p), count(p2)
+----------+-----------+
| count(p) | count(p2) |
+----------+-----------+
| 1        | 1         |
+----------+-----------+

This query shall not be executed successfully. It shall report Type mismatch: p defined with conflicting type Path for the use of (p) in p2.

[xtcyclist]

The validator needs to check this.