Nicholas Bishop
|
396756c151
Handle Temporary values when const-evaling AcquireValue (#6992)
|
1 maand geleden |
Nicholas Bishop
|
bf6a14ac39
Support `Temporary` constants (#6983)
|
1 maand geleden |
Dana Jansens
|
5503f643c6
Introduce typed-inst accessors for ConstantValueStore (#6980)
|
1 maand geleden |
Dana Jansens
|
d6be20641c
Use earlier `require` decls inside a named constraint to provide witnesses for `Self` (#6915)
|
1 maand geleden |
Dana Jansens
|
6d2387cb77
Return a `NewAnyPhase` result for `RequireCompleteType` with a `CompleteTypeWitness` value (#6939)
|
1 maand geleden |
Nicholas Bishop
|
943cd41924
Support constexpr pointers (#6907)
|
1 maand geleden |
Nicholas Bishop
|
2389590230
Support pointer template params (#6810)
|
2 maanden geleden |
Richard Smith
|
41dd256d56
Support for initialization of classes with abstract base classes. (#6802)
|
2 maanden geleden |
Geoff Romer
|
bf9219d30e
Check support for form literals and `:?` bindings (#6747)
|
2 maanden geleden |
Richard Smith
|
f9ab963bd6
Add a `type_literal` instruction to represent syntactic type literals. (#6781)
|
2 maanden geleden |
Dana Jansens
|
fbc8d59d32
Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761)
|
2 maanden geleden |
Nicholas Bishop
|
f210f4ab04
Add initial support for importing C++ constexprs as Carbon constants (#6770)
|
2 maanden geleden |
Jon Ross-Perkins
|
2c6d9c7f66
Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708)
|
2 maanden geleden |
Geoff Romer
|
e5b05a1fac
`ExprCategory` for guaranteed-in-place initializing expressions (#6623)
|
3 maanden geleden |
Richard Smith
|
935ccce2a6
Fix lowering of imported global variables. (#6567)
|
3 maanden geleden |
Jon Ross-Perkins
|
25f63140e6
Refactor CppWitness as CustomWitness (#6491)
|
4 maanden geleden |
Richard Smith
|
7fd62ff58d
Stop using `ImplWitness[Table]` for a C++ synthesized witness. (#6451)
|
5 maanden geleden |
Richard Smith
|
c77eebd15e
Cache final impl lookup results. (#6452)
|
5 maanden geleden |
Jon Ross-Perkins
|
93a8c5230c
Ensure a symbolic `final impl` has a definition produced (#6236)
|
5 maanden geleden |
Dana Jansens
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
5 maanden geleden |
Dana Jansens
|
ca3f95faa6
Make named constraint eval to a FacetType with itself in it (#6308)
|
6 maanden geleden |
Geoff Romer
|
0811d996e1
Finish renaming BindName and related insts. (#6281)
|
6 maanden geleden |
Geoff Romer
|
09710d102f
Separate binding insts for refs and values (#6235)
|
6 maanden geleden |
Dana Jansens
|
22580a47d3
Initial support for empty named constraints (#6245)
|
6 maanden geleden |
Jon Ross-Perkins
|
b1f734e1cd
Switch `EvalLookupSingleImplWitness` from "concrete" to "final" terminology (#6246)
|
6 maanden geleden |
Dana Jansens
|
fe020ee08b
Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115)
|
7 maanden geleden |
Dana Jansens
|
e3b4482893
Make the GetCanonicalFacetOrTypeValue operation more crisp (#6157)
|
7 maanden geleden |
Dana Jansens
|
0c761a9a78
Find the builtin TypeCanAggregateDestroy in the FacetType for facet values (#6119)
|
7 maanden geleden |
Ivana Ivanovska
|
a24598f069
Lower CppOverloadSetValue (#6101)
|
7 maanden geleden |
Dana Jansens
|
82679e6689
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
|
7 maanden geleden |