carbon-lang

carbon-lang copied to clipboard

Alphabetize typed_insts.h

2

As requested [here](https://github.com/carbon-language/carbon-lang/pull/5400#discussion_r2070631805).

geoffromer

Update the design docs for functions to reflect the lambdas proposal

2

#3848 introduced some changes to the design of named functions, as part of generalizing them to encompass lambda expressions. For example: - They can take positional parameters instead of named...

geoffromer

Syntax for implementing a single-function interfaces

7

### Summary of issue: Many of the operator overload interfaces have a single function, and other interfaces are expected to commonly as well. The current `impl` definition syntax is perhaps...

josh11b

There are some <unexpected> instructions in textual semir

1

### Description of the bug: Some instructions have snuck into our test cases. We should figure out what instructions they reference and get those instructions to be in a block...

danakj

### Description of the bug: See https://github.com/carbon-language/carbon-lang/pull/5374/files#diff-fb31579659e1e89d06773a22a35f547a285c883ebba2e8bcb89bb6b242cb4581R97 In the import block: ``` // CHECK:STDOUT: %.2fc: %C.elem = field_decl v, element0 [concrete] ``` What is this instruction? We should give it...

danakj

jonmeow

`impl` declarations in a generic class context

7

### Summary of issue: Given an `impl` declaration in a generic class, or in a class in a generic context, we need a rule that says what to do with...

josh11b

Crash with conflicting fn definitions in CheckFunctionTypeMatches()

1

### Description of the bug: ``` interface Ptr { let Type:! type; } final impl forall [U:! type] U as Ptr where .Type = U* {} fn F1[T:! Ptr](var t:...

danakj

bricknerb

Lower a single specific for a type.

2

Currently for functions only: A specific_id is created for each new type (use) found for a generic. If the function's LLVM types are the same with another previously found specific...

alinas