carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-10-04 12:41:03 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity
4,774 Commits 3 Branches 812 Tags
eecbb7e5085a2cefb016d0a32d4d467fc835e258
Commit Graph
2 Commits
Author SHA1 Message Date
Dana Jansens 43e09e8e81 Type-check require declarations (#6286) 
They don't get stored anywhere yet, but this type checks the
declarations and diagnoses errors in their form, such as not placing a
facet type after `impls` or a type before it.
 2025-10-31 20:20:31 +00:00
Dana Jansens 26381f6eaf Handle parsing of require...impls declarations (#6255) 
Check is not implemented yet, but some tests are added.
 2025-10-23 18:34:52 +00:00