Should there be more path kinds?

[ehuss]

Currently the grammar has two path kinds: "Path" and "QPath".

However, I feel like there should be two more kinds. Here's what I see:

"Simple" paths, or "mod"-style paths.

See https://doc.rust-lang.org/nightly/reference/paths.html#simple-paths

Where	Invalid example
use paths	use a<b>
visibility paths	pub (in a<b>)
macro call	a<b>!{}
attributes	#[a<b>]

"Expression" paths

See https://doc.rust-lang.org/nightly/reference/paths.html#paths-in-expressions

In patterns and a variety of expressions, this path form doesn't allow generic arguments without ::.

Expressions: let x = a<b>;

Patterns if let x = ..a<b> {}

[eddyb]

IMO this sort of distinction is mostly/only important when ambiguity is involved.
Which I believe only applies for paths within expressions/patterns (including macro invocations).