Semantic Highlighting: Self should semantically be a type alias

[CryZe]

The semantic highlighting currently considers Self a type parameter, not a type alias.

This is likely caused by this line: https://github.com/rust-analyzer/rust-analyzer/blob/30eb458b4fa8adcecd8cbf731bd1cfa9a7a8b88b/crates/rust-analyzer/src/conv.rs#L59

[matklad]

Tricky! Self is a type parameter in traits, but it is a type alias in impls.

[lnicola]

Triage: now it's a type parameter in traits:

But a type in impls:

[flodiebold]

Isn't that correct?

[lnicola]

matklad said it should be a type alias in impls.

[flodiebold]

Ok, I wasn't sure whether there's a difference between type and type alias in semantic tokens.