Basic support for implementing and using a parameterized interface.

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

Basic support for implementing and using a parameterized interface. #4203

Closed zygoloid closed 1 month ago

zygoloid commented 1 month ago

The main change here is to form a specific when checking an interface function against an impl function, instead of just substituting the Self type.

zygoloid commented 1 month ago

Depends on #4202.