Richard Smith
|
0631e18184
Provide an `InstId` when evaluating a constant in cases where one is needed (#5202)
|
1 anno fa |
josh11b
|
4af0c8f8d1
Implement ...`where .Self impls`... (#5238)
|
1 anno fa |
Richard Smith
|
a45dc42d82
Store an `InterfaceId` and a `SpecificId` in `AssociatedEntityType`. (#5252)
|
1 anno fa |
Dana Jansens
|
6eddf72979
Avoid crashing during associated constant lookup on a runtime facet value (#5243)
|
1 anno fa |
Richard Smith
|
c33adfafd3
Replace `GetTypeInSpecific` with `GetTypeOfInstInSpecific`. (#5232)
|
1 anno fa |
David Blaikie
|
4739828cca
Generalize non-const ClassInit lowering beyond only InitializeFrom insts (#5199)
|
1 anno fa |
Jon Ross-Perkins
|
a5df8ad736
Support destruction of storage (#5171)
|
1 anno fa |
josh11b
|
d431e1fbf4
Never perform instance binding with implicit `Self` in an interface (#5121)
|
1 anno fa |
Richard Smith
|
584426dfa2
Initial work on support for templates (#5081)
|
1 anno fa |
josh11b
|
ebaf62efb9
Associated constants can be used in member function signatures (#5089)
|
1 anno fa |
Dana Jansens
|
4539114c21
Return a set of ImplWitnesses from impl lookup (#5075)
|
1 anno fa |
josh11b
|
aa90ab3862
Fix non-instance compound member access (#5059)
|
1 anno fa |
josh11b
|
4fd273a928
2 small simplifications in member access (#5055)
|
1 anno fa |
Dana Jansens
|
2d1bfcac2e
Perform member lookup on FacetAccessType (#5058)
|
1 anno fa |
Jon Ross-Perkins
|
422cc3d48a
Move diagnostic usings off Context (#5007)
|
1 anno fa |
Jon Ross-Perkins
|
311b4ff03d
Refactor AddInst-family functions to their own file (#4941)
|
1 anno fa |
Jon Ross-Perkins
|
dc8f47e6ad
Move type functions off Context (#4951)
|
1 anno fa |
Jon Ross-Perkins
|
afef6cd940
Refactor name lookup logic out of Context (#4930)
|
1 anno fa |
Richard Smith
|
c6d35e1c4a
Rename template constant -> concrete constant. (#4939)
|
1 anno fa |
Jon Ross-Perkins
|
0a55081c5d
Move TypeCompleter and closely related helper functions to their own file (#4922)
|
1 anno fa |
Richard Smith
|
fcfb1345d5
Support accessing associated functions by member access into facets (#4872)
|
1 anno fa |
Boaz Brickner
|
3d39ab67bf
Wrap lookup result in a new `ScopeLookupResult` (#4831)
|
1 anno fa |
Richard Smith
|
5f888e1124
Treat associated constants as entities parameterized by Self (#4837)
|
1 anno fa |
Jon Ross-Perkins
|
9c0faf007e
Invalid comment cleanup (#4836)
|
1 anno fa |
Jon Ross-Perkins
|
6b5eb1a101
Id::Invalid -> Id::None (#4834)
|
1 anno fa |
Dana Jansens
|
ab12da7d03
Rename BoundMethod::function_id to function_decl_id (#4775)
|
1 anno fa |
Boaz Brickner
|
74395ce693
Change name poisoning implementation to allow better diagnostics (#4764)
|
1 anno fa |
josh11b
|
c5fd8f42b8
`ImplWitness` (#4679)
|
1 anno fa |
Richard Smith
|
92201ceb10
Rename various `TryToCompleteType` functions to better describe what they do. (#4658)
|
1 anno fa |
Richard Smith
|
eabe9f117a
Track complete types required by a generic. (#4652)
|
1 anno fa |