carbon-lang

carbon-lang copied to clipboard

Done in stages for easier review, see commits. Based on #5537. Part of #5533.

bricknerb

Update eval tests

1

In the vein of https://github.com/carbon-language/carbon-lang/pull/5455. This also uses the 'int' min_prelude being added by #5546.

jonmeow

Update tuple tests, and merge in expr-category

1

In the vein of https://github.com/carbon-language/carbon-lang/pull/5455. This is based on #5546 for the int prelude, and also adds negate for testing. This merges the one expr_category test into tuple testing because...

jonmeow

- A parameter binding can be marked `ref` instead of `var` or the default. It will bind to reference argument expressions in the caller and produces a reference expression in...

josh11b

Lazily lower entities rather than iterating over all entities in SemIR

1

### Description of the bug: We currently emit function forward declarations for totally unused/unreferenced function forward declarations. This is unnecessary & we should avoid doing it, by having function and...

dwblaikie

Validate that rewrite constraints match the requirements

4

When doing impl lookup from a concrete value, or converting between facet values (which is implemented as impl lookup), ensure that the rewrite constraints known about the source value cover...

danakj

Fix ASAN poison bugs, add debugging infrastructure for finding them, and enable poisoning with ASAN by default

2

ASAN crashes do not include which test file was running. Normally we inject the command line which includes the file, and any diagnostics, but https://github.com/llvm/llvm-project/issues/138759 prevents that with ASAN crashes....

danakj

More closely mimic the Clang compilation

2

Instead of using ASTUnit and tooling APIs, directly mimic what Clang does during the compilation. Run the Clang frontend until the translation unit parsing is done, at which point switch...

ilya-biryukov

A proposal for Primitive Types mapping between Carbon and C++. Part of #5263

ivanaivanovska

bricknerb