Dana Jansens
|
917a6ea971
Add an interface-with-self generic to each interface and same for constraints (#6667)
|
2 月之前 |
Dana Jansens
|
32aa7cb1fa
Make identifying a facet type an operation on a (self+facet type) pair (#6592)
|
3 月之前 |
Dana Jansens
|
3a7c44c5c4
Check required implementations when an enclosing interface is implemented (#6522)
|
3 月之前 |
Dana Jansens
|
f272198ce5
Don't elide Self when dumping the interface/constraint (#6297)
|
6 月之前 |
Dana Jansens
|
22580a47d3
Initial support for empty named constraints (#6245)
|
6 月之前 |
Jon Ross-Perkins
|
55da026a46
Remove the SemIRLoc typedef (#5299)
|
1 年之前 |
Richard Smith
|
6fd139b805
Renumber inner parameters when checking an impl function against an interface function. (#5113)
|
1 年之前 |
Richard Smith
|
fcfb1345d5
Support accessing associated functions by member access into facets (#4872)
|
1 年之前 |
Richard Smith
|
5f888e1124
Treat associated constants as entities parameterized by Self (#4837)
|
1 年之前 |
Richard Smith
|
33c1e9ca95
Add an associated entity instruction and corresponding type for interface elements. (#3730)
|
2 年之前 |