Dana Jansens
|
46bb0fecd4
Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132)
|
4 dní pred |
Dana Jansens
|
235267680b
Subst `.Self` in `impl as` rewrites (#7105)
|
1 týždeň pred |
Dana Jansens
|
5503f643c6
Introduce typed-inst accessors for ConstantValueStore (#6980)
|
1 mesiac pred |
Dana Jansens
|
142596b49c
Diagnose unidentified type-of-self in impl lookup query (#6769)
|
2 mesiacov pred |
Dana Jansens
|
fbc8d59d32
Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761)
|
2 mesiacov pred |
Dana Jansens
|
917a6ea971
Add an interface-with-self generic to each interface and same for constraints (#6667)
|
2 mesiacov pred |
Jon Ross-Perkins
|
45ca3d28f5
Drop "diagnostic" from some filenames in the "diagnostics" folder (#6686)
|
3 mesiacov pred |
Dana Jansens
|
7f7186c227
Extended name lookup replaces inner Self (#6632)
|
3 mesiacov pred |
Dana Jansens
|
4bb2935770
Look through `extend require` in an interface or named constraint in name lookup (#6630)
|
3 mesiacov pred |
Dana Jansens
|
848eddc9dd
Avoid cyclic lookup of an impl inside its own definition (#6629)
|
3 mesiacov pred |
Dana Jansens
|
32aa7cb1fa
Make identifying a facet type an operation on a (self+facet type) pair (#6592)
|
3 mesiacov pred |
Dana Jansens
|
3a7c44c5c4
Check required implementations when an enclosing interface is implemented (#6522)
|
3 mesiacov pred |
Jon Ross-Perkins
|
655932da0b
Refactor BuildCustomWitness out to its own file (#6515)
|
4 mesiacov pred |
Dana Jansens
|
efec4e4658
Move generic stack operations into handle_impl.cpp (Refactor Impl construction 8/7) (#6484)
|
4 mesiacov pred |
Jon Ross-Perkins
|
25f63140e6
Refactor CppWitness as CustomWitness (#6491)
|
4 mesiacov pred |
Dana Jansens
|
fbcaf34494
Defer RequireCompleteType to impl definition (Refactor Impl construction 7/7) (#6470)
|
4 mesiacov pred |
Dana Jansens
|
463ba0e1db
Clean up helpers for GetOrAddImpl (Refactor Impl construction 5/7 and 6/7) (#6469)
|
4 mesiacov pred |
Dana Jansens
|
35d505a985
Check the orphan rule for impls (#6488)
|
4 mesiacov pred |
Dana Jansens
|
14998d6045
Consolidate error handling behaviour for `ApplyExtendImplAs` (Refactor Impl construction 4/7) (#6468)
|
4 mesiacov pred |
Dana Jansens
|
1c3d3e9284
Move forward-decl-only code out to the handler of the forward decl node (Refactor Impl construction 3/7) (#6467)
|
4 mesiacov pred |
Dana Jansens
|
b07b8a122a
Make StartImplDecl into a more explicit GetOrAddImpl (Refactor Impl construction 2/7) (#6466)
|
4 mesiacov pred |
Dana Jansens
|
2d38978756
Diagnose explicit `Self` in extend in the parse node handler (Refactor Impl construction 1/7) (#6465)
|
4 mesiacov pred |
Richard Smith
|
372f632d9d
Implement support for copying C++ classes. (#6434)
|
5 mesiacov pred |
Dana Jansens
|
0cf2448505
Get specific interfaces with correct specific from named constraints (#6435)
|
5 mesiacov pred |
Jon Ross-Perkins
|
fbc7690157
Switch `zip` to `zip_equal` where possible (#6389)
|
5 mesiacov pred |
Dana Jansens
|
e62678e682
Identify and complete facet types as needed for p5168 (#6369)
|
5 mesiacov pred |
Dana Jansens
|
ca3f95faa6
Make named constraint eval to a FacetType with itself in it (#6308)
|
6 mesiacov pred |
Jon Ross-Perkins
|
a1fd86cf27
Change ImplWitnessTablePlaceholder from instruction to InstId value (#6294)
|
6 mesiacov pred |
Dana Jansens
|
26381f6eaf
Handle parsing of `require`...`impls` declarations (#6255)
|
6 mesiacov pred |
Dana Jansens
|
e682a6660d
Avoid adding extraneous local instructions while importing witness table entries (#6180)
|
6 mesiacov pred |