carbon-lang

carbon-lang copied to clipboard

What to do with `impl Interface1 as Interface2`?

4

### Summary of issue: Given this code: ``` interface Eats {} interface Goat {} impl Goat as Eats {} fn F(e: Eats) {} fn G() { F(Goat); } ``` The...

danakj

bricknerb

Precedence diagram is missing `partial` operator

3

### Description of the bug: The [precedence diagram](https://docs.carbon-lang.dev/docs/design/expressions/#precedence) is missing the `partial` operator, and there are multiple choices for what should be added. - Same precedence group as `const` (non-associative):...

zygoloid

Should it be valid to define a package named `r#Core`?

1

### Summary of issue: Now that `Core` is a keyword, we can support both a package named `Core` and a package named `r#Core` in the same program, and these would...

zygoloid

Should an adapter have access to `protected` fields of its adapted type?

1

Should this be valid: ```carbon class A { protected var a: i32; } class B { extend adapt A; fn F[self: Self]() -> i32 { return self.a; } } ```...

zygoloid

`private` and `protected` access

1

### Summary of issue: What precisely are the rules that determine what has access to members with `private` or `protected` access modifiers? Here are some questions that I don't think...

josh11b

when are facet types equal?

14

### Summary of issue: As described in the generics design, there is a [subtyping relationship](https://github.com/carbon-language/carbon-lang/blob/trunk/docs/design/generics/details.md#subtyping-between-type-of-types) between facet types when one has a subset of the constraints of another. But it's...

zygoloid

Should classes explicitly declare whether they have a vptr?

2

### Summary of issue: Right now, whether a class's object representation includes a vptr is implicit from the presence of virtual functions. Should it be explicitly declared? ### Details: A...

jonmeow