Geoff Romer
|
11d407b4a0
Add form to Function (#6561)
|
3 mēneši atpakaļ |
Dana Jansens
|
30562826b8
Add Inst::IsOneOf to check if an inst is one of a few kinds (#6523)
|
3 mēneši atpakaļ |
Geoff Romer
|
505b1c86b9
Initial support for return forms (#6556)
|
3 mēneši atpakaļ |
Geoff Romer
|
0e5832d3c2
Model `ref` tags as insts instead of annotations (#6541)
|
4 mēneši atpakaļ |
Geoff Romer
|
0e5874b203
Model category conversion as a state machine. (#6535)
|
4 mēneši atpakaļ |
Jon Ross-Perkins
|
c0b335b87f
Add well-known identifier caching (#6486)
|
4 mēneši atpakaļ |
Geoff Romer
|
bf45b1cbf5
Refactor function return type representation (#6463)
|
4 mēneši atpakaļ |
Richard Smith
|
6c9a581a83
Switch `GetExprCategory` to be table-driven. (#6371)
|
5 mēneši atpakaļ |
Dana Jansens
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
5 mēneši atpakaļ |
Geoff Romer
|
43ffd721a4
Support `ref` tags on arguments to `ref` params (#6312)
|
5 mēneši atpakaļ |
Richard Smith
|
8f19f7a7c0
Use the value representation of `T` as that of `MaybeUnformed(T)` where possible (#6334)
|
5 mēneši atpakaļ |
Richard Smith
|
f2e98c2047
Fix initialization of a variable via an `ImplicitAs` conversion. (#6327)
|
6 mēneši atpakaļ |
Geoff Romer
|
114ecda725
Enable conversions to value-or-ref to use `value_of_initializer` (#6309)
|
6 mēneši atpakaļ |
Jon Ross-Perkins
|
42e2280150
Clean up singleton TypeId use (#6300)
|
6 mēneši atpakaļ |
Geoff Romer
|
4821eec2f8
Add support for `ref` patterns (#6283)
|
6 mēneši atpakaļ |
Geoff Romer
|
0811d996e1
Finish renaming BindName and related insts. (#6281)
|
6 mēneši atpakaļ |
Richard Smith
|
b3c25ecfa2
Allow implicit conversion to a value expression to remove `const`. (#6253)
|
6 mēneši atpakaļ |
Richard Smith
|
304d2056cc
Map nullable C++ pointer types to `Core.Optional(T*)`. (#6230)
|
6 mēneši atpakaļ |
Dana Jansens
|
fe020ee08b
Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115)
|
7 mēneši atpakaļ |
Dana Jansens
|
e3b4482893
Make the GetCanonicalFacetOrTypeValue operation more crisp (#6157)
|
7 mēneši atpakaļ |
Dana Jansens
|
0c761a9a78
Find the builtin TypeCanAggregateDestroy in the FacetType for facet values (#6119)
|
7 mēneši atpakaļ |
Dana Jansens
|
a6bb11f1cf
Rearrange convert: construct FacetAccessType from a facet value before impl lookup instead of after (#6113)
|
7 mēneši atpakaļ |
Dana Jansens
|
82679e6689
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
|
7 mēneši atpakaļ |
Boaz Brickner
|
50a0f908c6
Mark `Check::Context::insts()` as `const` and use it in more use cases (#6093)
|
7 mēneši atpakaļ |
Richard Smith
|
b44ba47cf3
Don't treat dependent types as having a copy value representation. (#6055)
|
7 mēneši atpakaļ |
Jon Ross-Perkins
|
6cc5d7ed2a
Add an EnumMaskBase type (#6053)
|
7 mēneši atpakaļ |
Richard Smith
|
1ec8ac7ef9
Add `Copy` interface and use it for making copies. (#6034)
|
7 mēneši atpakaļ |
Richard Smith
|
db0a00d713
Fix double-destruction of temporaries. (#6010)
|
8 mēneši atpakaļ |
Richard Smith
|
f943f31e41
Allow a value of type `MaybeUnformed(T)` to convert to `T` with `unsafe as` (#6014)
|
8 mēneši atpakaļ |
Richard Smith
|
cb5e2e1597
Improve support for qualification conversions. (#5999)
|
8 mēneši atpakaļ |