Dana Jansens
|
5503f643c6
Introduce typed-inst accessors for ConstantValueStore (#6980)
|
1 місяць тому |
Dana Jansens
|
fbc8d59d32
Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761)
|
2 місяців тому |
Burak Emir
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
2 місяців тому |
Dana Jansens
|
917a6ea971
Add an interface-with-self generic to each interface and same for constraints (#6667)
|
2 місяців тому |
Jon Ross-Perkins
|
2c6d9c7f66
Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708)
|
2 місяців тому |
Dana Jansens
|
7f7186c227
Extended name lookup replaces inner Self (#6632)
|
3 місяців тому |
Dana Jansens
|
4bb2935770
Look through `extend require` in an interface or named constraint in name lookup (#6630)
|
3 місяців тому |
Dana Jansens
|
ee77aa4b67
Member access into a facet is not a "lookup in type of base" (#6631)
|
3 місяців тому |
Özgür
|
a4b5ab9df9
Reject unqualified private access to base members (#6521)
|
4 місяців тому |
Jon Ross-Perkins
|
47e551141f
Change the package namespace to use the package name (#6495)
|
4 місяців тому |
Jon Ross-Perkins
|
c0b335b87f
Add well-known identifier caching (#6486)
|
4 місяців тому |
Richard Smith
|
86b02ee8af
Interop support for `nullptr` and `nullptr_t`. (#6353)
|
5 місяців тому |
Dana Jansens
|
43e09e8e81
Type-check `require` declarations (#6286)
|
6 місяців тому |
Dana Jansens
|
fe020ee08b
Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115)
|
7 місяців тому |
Richard Smith
|
3b6d202730
Implement support for mixed-access overload sets. (#6137)
|
7 місяців тому |
Boaz Brickner
|
f29515fe4e
Move C++ interop related `check` code files to a `cpp` dir (#6065)
|
7 місяців тому |
Boaz Brickner
|
dfe9ffd369
Rename `check/import_cpp.*` to `check/cpp_import.*` to group C++ interop logic in `check` (#6074)
|
7 місяців тому |
Boaz Brickner
|
30f0ddab71
Add support for importing access from C++ to Carbon (#5858)
|
9 місяців тому |
Boaz Brickner
|
cc698d78f5
When using a C++ struct as a parameter, map its type to a Carbon class type (#5538)
|
10 місяців тому |
Dana Jansens
|
493bea1647
Fearlessly hold references into ValueStore again (#5589)
|
11 місяців тому |
Richard Smith
|
4f5d11a28b
Build generic eval blocks incrementally (#5313)
|
1 рік тому |
Dana Jansens
|
315e206ff1
Construct LocId from InstId directly (explicitly) instead of doing lookups when possible (#5355)
|
1 рік тому |
Thomas Köppe
|
bf32da8dad
Add missing standard library header inclusions (#5316)
|
1 рік тому |
Jon Ross-Perkins
|
4923445e3a
Drop `Singleton` from `ErrorInst::SingletonInstId` and similar (#5304)
|
1 рік тому |
Jon Ross-Perkins
|
55da026a46
Remove the SemIRLoc typedef (#5299)
|
1 рік тому |
josh11b
|
4af0c8f8d1
Implement ...`where .Self impls`... (#5238)
|
1 рік тому |
Richard Smith
|
a45dc42d82
Store an `InterfaceId` and a `SpecificId` in `AssociatedEntityType`. (#5252)
|
1 рік тому |
josh11b
|
bc439ad092
Forward `impl` declarations of incomplete facet types (#5219)
|
1 рік тому |
Richard Smith
|
4acc9cac5d
Replace GetInstForSpecific with direct support for rendering a SpecificId in diagnostics. (#5192)
|
1 рік тому |
Jon Ross-Perkins
|
acbe6530c3
Move diagnostics into a namespace (#5173)
|
1 рік тому |