carbon-lang

carbon-lang copied to clipboard

errors during template instantiation should explain that they were produced by instantiating a template

18

### Description of the bug: When template instantiation fails, the error that is produced doesn't mention that instantiation was being performed, nor what the template argument values were, nor why...

zygoloid

Explorer: change `InstantiateType` to be an `Action` instead of a method

18

### Background Our current explorer implementation uses a simple function for type instantiation (substitute placeholder type with actual types). A better approach would be to have it be an `Action`...

Pixep

are `abstract` / `base` specifiers permitted or required on class forward declarations?

3

### Summary of issue: Given this class: ```carbon base class C {} ``` how does one write a forward declaration? Is ```carbon base class C; ``` valid? Is ```carbon class...

zygoloid

Can't find bazel package on ubuntu 22.04

5

### Description of the bug: In the documentation is said: These commands should help set up a development environment on your machine. ### Debian or Ubuntu ``` # Update apt....

vpelosio

How to overload / specialize / dispatch based on the expression phase of the argument

5

This is largely my memory & summary of an open discussion from a few weeks ago. It started with all of @josh11b, myself, and @zygoloid, but most of it was...

chandlerc

sorting diagnostics by source location leads to very confusing output

3

### Description of the bug: The toolchain sorts diagnostics into source location order before emitting them. This results in very confusing diagnostics in cases where a diagnostic at an earlier...

zygoloid

Fuzzer found crash

2

### Description of the bug: Crash in the interpreter of the explorer. Either a bug there (failing to look through a layer) or a bug earlier in failing to reject....

chandlerc

AST does not reflect implicit conversions to `type` after call to `TypeCheckTypeExp`

8

### Description of the bug: When explorer performs an implicit conversion, it usually annotates the result of that conversion back onto the AST. However, because `TypeCheckTypeExp` combines implicit conversion to...

zygoloid

Name conflicts beyond inheritance

9

### Summary of issue: #2355 defines the behavior of name conflicts arising from inheritance. There are two other kinds of name conflicts that can arise in classes from using `extend`...

josh11b

value representation for structs and tuples

1

### Summary of issue: From [this review comment](https://github.com/carbon-language/carbon-lang/pull/3271#discussion_r1357717720): What should the value representation for a struct or tuple be? Some options: - A by-copy struct or tuple of the value...

zygoloid