Distinguish between whether an entity has its own parameter lists and whether it is generic.

carbon-language / carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

http://docs.carbon-lang.dev/

Other

32.24k stars 1.48k forks source link

Closed zygoloid closed 1 month ago

zygoloid commented 1 month ago

It's actually possible to get into all four combinations of having parameter lists versus being generic:

An entity nested within a generic, such as a member class, can be generic even if it has no parameters.
As a corner case, an entity with an empty parameter list has parameter lists, but isn't a generic because it doesn't have any generic parameters.