Geoff Romer
|
bd6aeae9d4
Don't require `ref` tags in thunks (#7115)
|
před 3 dny |
Geoff Romer
|
4c9049346d
Replace form insts with actions (#7100)
|
před 3 dny |
Richard Smith
|
23339bc810
Fix initialization of var parameters. (#7023)
|
před 4 dny |
Dana Jansens
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
před 5 dny |
Geoff Romer
|
49c7288619
Restructure return declaration handling (#7076)
|
před 1 týdnem |
Geoff Romer
|
ad0a4ea8a4
Restructure action-dependence APIs (#7074)
|
před 2 týdny |
Richard Smith
|
a6061d975c
Compute type layouts in SemIR / Check (#7066)
|
před 2 týdny |
Richard Smith
|
8e0d856725
Improve `InPlaceInitializing` conversion. (#7021)
|
před 4 týdny |
Richard Smith
|
81ed4d829d
Perform CppThunkRef conversion as part of category conversion. (#7020)
|
před 1 měsícem |
Richard Smith
|
6f0ec37a8b
Make C++ enum types impl Core.Copy. (#7013)
|
před 1 měsícem |
Dana Jansens
|
5503f643c6
Introduce typed-inst accessors for ConstantValueStore (#6980)
|
před 1 měsícem |
Dana Jansens
|
d6be20641c
Use earlier `require` decls inside a named constraint to provide witnesses for `Self` (#6915)
|
před 1 měsícem |
Jon Ross-Perkins
|
e0305684b0
Add MakeVerifiedLocIdAndInst for runtime validation (#6942)
|
před 1 měsícem |
Geoff Romer
|
6d1130f657
Allow no-op conversions on incomplete types. (#6926)
|
před 1 měsícem |
Richard Smith
|
2e5b195813
Make `{} as Class` an initializing expression. (#6882)
|
před 1 měsícem |
Geoff Romer
|
21291b4cc3
Remove `InitForm::index` (#6817)
|
před 1 měsícem |
Richard Smith
|
15680ba101
Support calling functions with explicit template arguments. (#6814)
|
před 2 měsíci |
Richard Smith
|
41dd256d56
Support for initialization of classes with abstract base classes. (#6802)
|
před 2 měsíci |
Geoff Romer
|
bf9219d30e
Check support for form literals and `:?` bindings (#6747)
|
před 2 měsíci |
Richard Smith
|
980ab7fab3
Fix handling of compatible conversions in initialization. (#6797)
|
před 2 měsíci |
Dana Jansens
|
fbc8d59d32
Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761)
|
před 2 měsíci |
Dana Jansens
|
46fb941b3c
Don't create ErrorInst in Convert without producing a diagnostic (#6762)
|
před 2 měsíci |
Geoff Romer
|
f21e0e17ac
Introduce ExprCategory::Dependent (#6744)
|
před 2 měsíci |
Geoff Romer
|
f1b6e818d1
Rename FormExpr fields for clarity/consistency. (#6746)
|
před 2 měsíci |
Geoff Romer
|
f289592dfa
Clarify and partially enforce inst-order precondition on splicing (#6722)
|
před 2 měsíci |
Jon Ross-Perkins
|
2c6d9c7f66
Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708)
|
před 2 měsíci |
Geoff Romer
|
e5b05a1fac
`ExprCategory` for guaranteed-in-place initializing expressions (#6623)
|
před 2 měsíci |
Dana Jansens
|
32aa7cb1fa
Make identifying a facet type an operation on a (self+facet type) pair (#6592)
|
před 3 měsíci |
Geoff Romer
|
e1ec8d42d1
Give `ReturnExpr` a target only when initialization is in-place (#6570)
|
před 3 měsíci |
Geoff Romer
|
87b4ca54e6
Decouple PerformCallToFunction from ReturnTypeInfo (#6572)
|
před 3 měsíci |