Dana Jansens

C++ exceptions in libc++ currently unwind through main instead of crashing with a backtrace

3

https://discord.com/channels/655572317891461132/655578254970716160/1350190049479884822 There is some mysterious flag we need to pass to clang, since our libc++ is compiled with exceptions enabled to make them abort when they reach the edge of...

Include `LLVM_SYMBOLIZER_PATH` when running Carbon in Compiler explorer?

5

### Description of the bug: Currently if you crash Carbon in compiler explorer you get a stack trace without symbols, which ends up in a bug report https://github.com/carbon-language/carbon-lang/issues/5094 Expecting folks...

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...

ascii.rs optimization since ptr is aligned

1

On line 186, there is a call to`_mm_loadu_si128`: https://github.com/BurntSushi/bstr/blob/3dc5939f30daa1a8a6e5cc346bb77841f19ea415/src/ascii.rs#L186 That call does not require the pointer to be aligned at all. But it could be replaced with `_mm_load_si128`, which requires...

Refactor Impl construction to clarify and reduce extraneous work

2

We were requiring the facet type to be complete in two different places, but this was not necessary. Now we only require it to be complete in a single place...

Living task list for Generics implementation - [ ] [jonmeow] Expansion of a definition of one generic that depends on expansion of another - [ ] [danakj] Named constraints (number...

Build the binding EntityName in CompileTimeBindingPatternStart

1

We want to build a `.Self` that is a SymbolicBindingType with the entity name of the binding being constructed. To do so, we will need to know that entity name...

ImplicitAs does not know about builtin conversions

8

### Description of the bug: - Tuples of X can convert to tuples of Y if X to Y is a builtin conversion - Structs of different field orders but...

We propose a principle that it's always possible to concat together Carbon source files without changing the meaning of or diagnostics applied to the code.

Confusing error when trying to find a `self` method in a FacetType.

2

### Description of the bug: When we try to call a method with `self` on a facet type, with the same syntax we would use to call a method without...