Richard Smith
|
2e5b195813
Make `{} as Class` an initializing expression. (#6882)
|
1 месяц назад |
Geoff Romer
|
21291b4cc3
Remove `InitForm::index` (#6817)
|
2 месяцев назад |
Richard Smith
|
15680ba101
Support calling functions with explicit template arguments. (#6814)
|
2 месяцев назад |
Richard Smith
|
41dd256d56
Support for initialization of classes with abstract base classes. (#6802)
|
2 месяцев назад |
Geoff Romer
|
bf9219d30e
Check support for form literals and `:?` bindings (#6747)
|
2 месяцев назад |
Richard Smith
|
980ab7fab3
Fix handling of compatible conversions in initialization. (#6797)
|
2 месяцев назад |
Dana Jansens
|
fbc8d59d32
Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761)
|
2 месяцев назад |
Dana Jansens
|
46fb941b3c
Don't create ErrorInst in Convert without producing a diagnostic (#6762)
|
2 месяцев назад |
Geoff Romer
|
f21e0e17ac
Introduce ExprCategory::Dependent (#6744)
|
2 месяцев назад |
Geoff Romer
|
f1b6e818d1
Rename FormExpr fields for clarity/consistency. (#6746)
|
2 месяцев назад |
Geoff Romer
|
f289592dfa
Clarify and partially enforce inst-order precondition on splicing (#6722)
|
2 месяцев назад |
Jon Ross-Perkins
|
2c6d9c7f66
Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708)
|
2 месяцев назад |
Geoff Romer
|
e5b05a1fac
`ExprCategory` for guaranteed-in-place initializing expressions (#6623)
|
3 месяцев назад |
Dana Jansens
|
32aa7cb1fa
Make identifying a facet type an operation on a (self+facet type) pair (#6592)
|
3 месяцев назад |
Geoff Romer
|
e1ec8d42d1
Give `ReturnExpr` a target only when initialization is in-place (#6570)
|
3 месяцев назад |
Geoff Romer
|
87b4ca54e6
Decouple PerformCallToFunction from ReturnTypeInfo (#6572)
|
3 месяцев назад |
Geoff Romer
|
11d407b4a0
Add form to Function (#6561)
|
3 месяцев назад |
Dana Jansens
|
30562826b8
Add Inst::IsOneOf to check if an inst is one of a few kinds (#6523)
|
3 месяцев назад |
Geoff Romer
|
505b1c86b9
Initial support for return forms (#6556)
|
4 месяцев назад |
Geoff Romer
|
0e5832d3c2
Model `ref` tags as insts instead of annotations (#6541)
|
4 месяцев назад |
Geoff Romer
|
0e5874b203
Model category conversion as a state machine. (#6535)
|
4 месяцев назад |
Jon Ross-Perkins
|
c0b335b87f
Add well-known identifier caching (#6486)
|
4 месяцев назад |
Geoff Romer
|
bf45b1cbf5
Refactor function return type representation (#6463)
|
4 месяцев назад |
Richard Smith
|
6c9a581a83
Switch `GetExprCategory` to be table-driven. (#6371)
|
5 месяцев назад |
Dana Jansens
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
5 месяцев назад |
Geoff Romer
|
43ffd721a4
Support `ref` tags on arguments to `ref` params (#6312)
|
5 месяцев назад |
Richard Smith
|
8f19f7a7c0
Use the value representation of `T` as that of `MaybeUnformed(T)` where possible (#6334)
|
6 месяцев назад |
Richard Smith
|
f2e98c2047
Fix initialization of a variable via an `ImplicitAs` conversion. (#6327)
|
6 месяцев назад |
Geoff Romer
|
114ecda725
Enable conversions to value-or-ref to use `value_of_initializer` (#6309)
|
6 месяцев назад |
Jon Ross-Perkins
|
42e2280150
Clean up singleton TypeId use (#6300)
|
6 месяцев назад |