carbon-lang

carbon-lang copied to clipboard

Which contexts support implied constraints?

3

### Summary of issue: Currently, the only place the design says we support implied constraints is in generic function signatures: ```carbon interface Hashable { ... } class HashSet(T:! Hashable); //...

zygoloid

should qualified access to a constraint member pick up rewrites from the qualifier?

1

Example ([live](https://carbon.godbolt.org/z/MG8sae3o3)): ``` interface A { let T:! Type; } constraint AInt { extends A where .T = i32; } interface B { impl as AInt; } // #1. Return...

zygoloid

Dependent name lookup in base class templates

6

### Summary of issue: Consider this code: ``` // #1 fn F(); class C(template T:! type) { extend base: T; fn G[self: Self]() { // #2 F(); } } class...

josh11b

How should unqualified lookup work for impls?

5

### Summary of issue: Asked by @zygoloid at https://github.com/carbon-language/carbon-lang/pull/2287/files/47e08ca918ded47684369e64addf2c42f7e07095#r1015980990, filing on his behalf: > `impl`s seem like a much more complicated case, because they don't seem to have "one true...

jonmeow

Is `let` referentially transparent?

5

From a discussion in [#typesystem started on 2022-07-06](https://discord.com/channels/655572317891461132/708431657849585705/994341902944051270), a question arose about this code: ``` fn F(z:! T); let x: T = ...; // Allowed? F(x); ``` We are considering...

josh11b

Generic `let` with `auto`?

9

Proposal #950 [defines generic `let` in a function body](https://github.com/carbon-language/carbon-lang/blob/bbe815c0ad072f47f42e46d161a17dfe37644b89/docs/design/generics/details.md#generic-let) as a way to create an erased type. `let T:! C = U` defines `T` to be `U` erased to have...

josh11b

What kinds of patterns are allowed in a class parameter list?

8

The [documented design for class parameters](https://github.com/carbon-language/carbon-lang/blob/trunk/docs/design/generics/details.md#parameterized-types) does not specify what exactly is allowed to parameterize a class, though only gives examples where it is parameterized by a list of generic...

josh11b

How should types customize, and potentially expose, their value representation?

3

### Summary of issue: Proposal #2006 adds _value expressions_ to Carbon, one key feature is the ability to have customized _representations_ for values of a given type. This leads to...

chandlerc

Make proposal for names found in top-level scope in a source file

3

The meaning of the top-level scope in a source file was the topic of leads question #1136. The question was resolved and the main decision comment is https://github.com/carbon-language/carbon-lang/issues/1136#issuecomment-1086352687 Because the...

jonmeow

Variadics syntax

1

### Summary of issue: The variadics syntax currently proposed in #2240 is based on symbolic tokens that are quite visually noisy (if not downright ugly). Following discussions at C++Now, I've...

geoffromer