Jon Ross-Perkins
|
4eb955bf42
Drop std:: on size_t in various spots. (#4546)
|
1 년 전 |
Richard Smith
|
145f878ce8
Allow `extend adapt` of non-class types. (#4544)
|
1 년 전 |
josh11b
|
abd12c18c7
Support extended scopes that are parameterized types (#4524)
|
1 년 전 |
josh11b
|
39ed62dad7
Add `facet_types()` accessor to `Check::Context` (#4518)
|
1 년 전 |
Richard Smith
|
de9b7d282a
Fix use-after-free printing the name of an interface that might have been invalidated by lazy import. (#4509)
|
1 년 전 |
josh11b
|
4f474fafb5
Remove some single-interface restrictions from some uses of facet types (#4508)
|
1 년 전 |
josh11b
|
a69c2630f9
Replace `InterfaceType` with `FacetType` (#4499)
|
1 년 전 |
josh11b
|
bbeb66b5fe
Test `class` with multiple `extend` (#4504)
|
1 년 전 |
Jon Ross-Perkins
|
138ecf108f
Remove verbose formatting of instructions on crash messages. (#4495)
|
1 년 전 |
Jon Ross-Perkins
|
be56ff87c6
Convert StructTypeField to a specific type. (#4492)
|
1 년 전 |
Richard Smith
|
fcabeb6725
Don't create instructions for implicit constants. (#4497)
|
1 년 전 |
josh11b
|
ea0b0b4b48
Add facet type values and an instruction that produces them (#4460)
|
1 년 전 |
Richard Smith
|
44fe65fbe5
Rename `BigInt` to `IntLiteral`. (#4476)
|
1 년 전 |
Jon Ross-Perkins
|
5bdeb010c8
Clean up format_provider uses (#4417)
|
1 년 전 |
Richard Smith
|
a02dfe0226
Superficial support for `Core.BigInt` type (#4414)
|
1 년 전 |
David Blaikie
|
dfed743de2
Add vtable pointers to class layout (#4407)
|
1 년 전 |
Geoff Romer
|
9d942f4633
Generate parameter pattern-match IR from pattern IR (#4388)
|
1 년 전 |
David Blaikie
|
d491387a98
Disallow creating instances of abstract classes (#4381)
|
1 년 전 |
josh11b
|
9e5e33082c
Update instructions for adding a SemIR instruction. (#4348)
|
1 년 전 |
Richard Smith
|
1a1bfd2eb2
Track and resolve the specific callee in a call to a generic function (#4395)
|
1 년 전 |
Richard Smith
|
b274622228
Improve infrastructure for formatting types in diagnostics. (#4374)
|
1 년 전 |
Chandler Carruth
|
55d8edcdc7
Some trivial check-phase inlining. (#4362)
|
1 년 전 |
David Blaikie
|
0b5d1101f9
Remove redundant optional wrapping llvm::function_ref (#4367)
|
1 년 전 |
josh11b
|
6dbeda612a
`where` check stage, step 3: some type checking (#4364)
|
1 년 전 |
josh11b
|
bdbd1079a6
`where` check stage, step 2: SemIR (#4349)
|
1 년 전 |
Geoff Romer
|
dc32aa2690
Initial support for binding patterns in SemIR (#4221)
|
1 년 전 |
Jon Ross-Perkins
|
e7aebbe581
Update basic diagnostic capitalization/punctuation (#4328)
|
1 년 전 |
Richard Smith
|
2044366652
Support initialization of specific classes from struct literals (#4320)
|
1 년 전 |
Brymer Meneses
|
da40c8b076
Improve access checking code (#4317)
|
1 년 전 |
Richard Smith
|
0354efa1fc
Rework how we check calls to support deduced implicit parameters (#4302)
|
1 년 전 |