carbon-lang

cpp

Export class friends to C++ (#8068 )

2026-11-03 18:28:21 +00:00

fuzzer_corpus

Change array syntax from [T; N] to array(T, N) (#4981 )

2025-02-20 22:42:47 +00:00

testdata

allow trailing commas in a struct pattern after an _ field (#8074 )

2026-11-03 22:02:33 +00:00

action.cpp

Support calls to generic functions with deduced return types. (#7981 )

2026-10-16 19:41:02 +00:00

action.h

Support for dependent initialization in templates (#7801 )

2026-09-24 23:10:18 +00:00

BUILD

Add check support for struct patterns (#7876 )

2026-10-30 21:03:16 +00:00

call.cpp

Build a generic scope around where expressions (#8062 )

2026-11-02 20:05:00 +00:00

call.h

Don't require ref tags in thunks (#7115 )

2026-04-29 18:33:53 +00:00

check_fuzzer.cpp

Render diagnostics through the terminal library (#7683 )

2026-10-15 06:08:57 +00:00

check_unit.cpp

Keep resolving generics and templates until they're all resolved (#7957 )

2026-10-26 20:52:43 +00:00

check_unit.h

Keep resolving generics and templates until they're all resolved (#7957 )

2026-10-26 20:52:43 +00:00

check.cpp

Render diagnostics through the terminal library (#7683 )

2026-10-15 06:08:57 +00:00

check.h

Create modules for header imports. (#7613 )

2026-08-06 13:32:37 +00:00

class.cpp

Export fields of imported Carbon classes to C++ (#8021 )

2026-11-02 20:37:01 +00:00

class.h

Export fields of imported Carbon classes to C++ (#8021 )

2026-11-02 20:37:01 +00:00

context.cpp

Move IdentifiedFacetType to check (#8004 )

2026-10-21 13:20:54 +00:00

context.h

Add check support for struct patterns (#7876 )

2026-10-30 21:03:16 +00:00

control_flow.cpp

Add support for -> auto deduced return types. (#7931 )

2026-10-15 00:30:09 +00:00

control_flow.h

Add support for -> auto deduced return types. (#7931 )

2026-10-15 00:30:09 +00:00

convert.cpp

Use a fallback loc for diagnostics generated on canonical insts (#7967 )

2026-10-15 19:03:10 +00:00

convert.h

Use a fallback loc for diagnostics generated on canonical insts (#7967 )

2026-10-15 19:03:10 +00:00

core_identifier.cpp

Add well-known identifier caching (#6486 )

2025-12-11 21:41:47 +00:00

core_identifier.def

Move SubobjectDestroy and SelfDestruct out of interface Destroy (#7942 )

2026-10-26 21:35:01 +00:00

core_identifier.h

Add well-known identifier caching (#6486 )

2025-12-11 21:41:47 +00:00

custom_witness.cpp

Move SubobjectDestroy and SelfDestruct out of interface Destroy (#7942 )

2026-10-26 21:35:01 +00:00

custom_witness.h

Move SubobjectDestroy and SelfDestruct out of interface Destroy (#7942 )

2026-10-26 21:35:01 +00:00

decl_introducer_state.h

Implement static var class fields (#7215 )

2026-05-18 20:09:17 +00:00

decl_name_stack.cpp

Render diagnostics through the terminal library (#7683 )

2026-10-15 06:08:57 +00:00

decl_name_stack.h

Fix accessing protected members from templates derived classes (#7780 )

2026-09-18 19:12:05 +00:00

deduce.cpp

Add support for default values for non-generic parameters of generic functions. (#8011 )

2026-10-21 21:03:39 +00:00

deduce.h

Avoid impl lookup cycles from evaluating lookup instructions inside an impl decl (#7454 )

2026-07-09 20:38:56 +00:00

deferred_definition_worklist.cpp

Track pending thunks on the deferred definition worklist. (#5609 )

2025-06-10 22:09:31 +00:00

deferred_definition_worklist.h

Reimplement derived class thunk in terms of down-casting (#7322 )

2026-06-09 21:10:18 +00:00

diagnostic_emitter.cpp

Render diagnostics through the terminal library (#7683 )

2026-10-15 06:08:57 +00:00

diagnostic_emitter.h

Drop "diagnostic" from some filenames in the "diagnostics" folder (#6686 )

2026-02-04 17:24:55 +00:00

diagnostic_helpers.h

Render diagnostics through the terminal library (#7683 )

2026-10-15 06:08:57 +00:00

dump.cpp

Give IdentifiedFacetType a more foolproof API (#8008 )

2026-10-21 18:32:30 +00:00

eval_inst.cpp

Ensure specific in ImplWitness has resolved definition before accessing witness table (#8040 )

2026-11-03 14:15:14 +00:00

eval_inst.h

Support for dependent initialization in templates (#7801 )

2026-09-24 23:10:18 +00:00

eval.cpp

Ensure specific in ImplWitness has resolved definition before accessing witness table (#8040 )

2026-11-03 14:15:14 +00:00

eval.h

Initialize specifics in-place. (#7717 )

2026-09-03 17:06:22 +00:00

facet_type.cpp

Move IdentifiedFacetType to check (#8004 )

2026-10-21 13:20:54 +00:00

facet_type.h

Move IdentifiedFacetType to check (#8004 )

2026-10-21 13:20:54 +00:00

full_pattern_stack.cpp

Emit VarStorages eagerly (#7468 )

2026-07-08 19:33:46 +00:00

full_pattern_stack.h

Fix canonicalization and simplify default value patterns. (#7837 )

2026-09-25 22:59:55 +00:00

function.cpp

Keep resolving generics and templates until they're all resolved (#7957 )

2026-10-26 20:52:43 +00:00

function.h

Support for terse => function bodies (#7895 )

2026-10-16 21:48:48 +00:00

generic_region_stack.cpp

Add an interface-with-self generic to each interface and same for constraints (#6667 )

2026-02-19 16:24:07 +00:00

generic_region_stack.h

Support calls to generic functions with deduced return types. (#7981 )

2026-10-16 19:41:02 +00:00

generic.cpp

Keep resolving generics and templates until they're all resolved (#7957 )

2026-10-26 20:52:43 +00:00

generic.h

Keep resolving generics and templates until they're all resolved (#7957 )

2026-10-26 20:52:43 +00:00

global_init.cpp

Move default value inst ids to a dedicated value store. (#7810 )

2026-09-21 18:27:01 +00:00

global_init.h

Implement static var class fields (#7215 )

2026-05-18 20:09:17 +00:00

handle_alias.cpp

Look outside constant values for designators in where constraints (#7367 )

2026-07-16 19:00:06 +00:00

handle_array.cpp

Add a Core.Array class type, and make array refer to it. (#7892 )

2026-10-06 17:23:49 +00:00

handle_binding_pattern.cpp

Add check support for struct patterns (#7876 )

2026-10-30 21:03:16 +00:00

handle_call_expr.cpp

Parse ref as operator (#6539 )

2025-12-30 19:18:34 +00:00

handle_choice.cpp

Rename GenericClassType to ParameterizedClassType (#7953 )

2026-10-11 23:09:12 +00:00

handle_class.cpp

Render diagnostics through the terminal library (#7683 )

2026-10-15 06:08:57 +00:00

handle_codeblock.cpp

Destroy temporaries at the end of expression statements. (#7513 )

2026-07-16 15:12:39 +00:00

handle_export.cpp

Render diagnostics through the terminal library (#7683 )

2026-10-15 06:08:57 +00:00

handle_expr_statement.cpp

Destroy temporaries at the end of expression statements. (#7513 )

2026-07-16 15:12:39 +00:00

handle_file.cpp

…

handle_form_literal.cpp

Remove InitForm::index (#6817 )

2026-03-06 17:35:48 +00:00

handle_function.cpp

Support for terse => function bodies (#7895 )

2026-10-16 21:48:48 +00:00

handle_if_expr.cpp

Destroy locals at the end of blocks, not only on return (#7448 )

2026-07-14 00:59:22 +00:00

handle_if_statement.cpp

Destroy temporaries at the end of expression statements. (#7513 )

2026-07-16 15:12:39 +00:00

handle_impl.cpp

Give IdentifiedFacetType a more foolproof API (#8008 )

2026-10-21 18:32:30 +00:00

handle_import_and_package.cpp

Add support for inline Cpp declarations. (#6994 )

2026-03-31 22:27:43 +00:00

handle_index.cpp

Use IndirectIndexWith.Ref for subscripting when available (#7975 )

2026-10-17 00:14:10 +00:00

handle_inline_decl.cpp

Fix crash if initializing Clang fails. (#7248 )

2026-05-21 21:21:50 +00:00

handle_interface.cpp

Move SubobjectDestroy and SelfDestruct out of interface Destroy (#7942 )

2026-10-26 21:35:01 +00:00

handle_lambda.cpp

Support for terse => function bodies (#7895 )

2026-10-16 21:48:48 +00:00

handle_let_and_var.cpp

Use a fallback loc for diagnostics generated on canonical insts (#7967 )

2026-10-15 19:03:10 +00:00

handle_literal.cpp

Support for -> ref/var/val auto. (#7977 )

2026-10-15 21:13:38 +00:00

handle_loop_statement.cpp

Use a fallback loc for diagnostics generated on canonical insts (#7967 )

2026-10-15 19:03:10 +00:00

handle_match_first.cpp

Render diagnostics through the terminal library (#7683 )

2026-10-15 06:08:57 +00:00

handle_match.cpp

Refactor match parse nodes. (#6870 )

2026-03-10 20:04:28 +00:00

handle_modifier.cpp

Render diagnostics through the terminal library (#7683 )

2026-10-15 06:08:57 +00:00

handle_name.cpp

Render diagnostics through the terminal library (#7683 )

2026-10-15 06:08:57 +00:00

handle_named_constraint.cpp

Unify MergeRedecl functions (#7632 )

2026-08-25 18:43:52 +00:00

handle_namespace.cpp

Fix cross-package signature mismatches. (#7232 )

2026-05-21 00:02:29 +00:00

handle_noop.cpp

…

handle_observe.cpp

Make SemIR::TypeType be an empty FacetType instruction (#7813 )

2026-09-22 15:04:40 +00:00

handle_operator.cpp

Render diagnostics through the terminal library (#7683 )

2026-10-15 06:08:57 +00:00

handle_pack_expansion.cpp

Lex and parse support for ... statements and expand. (#7832 )

2026-10-05 22:23:12 +00:00

handle_paren_expr.cpp

…

handle_pattern_list.cpp

allow trailing commas in a struct pattern after an _ field (#8074 )

2026-11-03 22:02:33 +00:00

handle_positional_param_expr.cpp

Support lexing and parsing positional params (#7651 )

2026-09-03 19:06:20 +00:00

handle_require.cpp

Give IdentifiedFacetType a more foolproof API (#8008 )

2026-10-21 18:32:30 +00:00

handle_return_statement.cpp

…

handle_struct.cpp

Add check support for struct patterns (#7876 )

2026-10-30 21:03:16 +00:00

handle_tuple_literal.cpp

Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708 )

2026-02-09 22:00:21 +00:00

handle_typeof.cpp

Support for typeof. (#7858 )

2026-09-29 21:13:51 +00:00

handle_where.cpp

Build a generic scope around where expressions (#8062 )

2026-11-02 20:05:00 +00:00

handle.h

Support for terse => function bodies (#7895 )

2026-10-16 21:48:48 +00:00

identified_facet_type.cpp

Give IdentifiedFacetType a more foolproof API (#8008 )

2026-10-21 18:32:30 +00:00

identified_facet_type.h

Give IdentifiedFacetType a more foolproof API (#8008 )

2026-10-21 18:32:30 +00:00

impl_lookup.cpp

Ensure specific in ImplWitness has resolved definition before accessing witness table (#8040 )

2026-11-03 14:15:14 +00:00

impl_lookup.h

Move IdentifiedFacetType to check (#8004 )

2026-10-21 13:20:54 +00:00

impl_validation.cpp

Render diagnostics through the terminal library (#7683 )

2026-10-15 06:08:57 +00:00

impl_validation.h

Add diagnostics for invalid impl declarations (#5420 )

2025-05-22 18:58:47 +00:00

impl.cpp

Give IdentifiedFacetType a more foolproof API (#8008 )

2026-10-21 18:32:30 +00:00

impl.h

Give IdentifiedFacetType a more foolproof API (#8008 )

2026-10-21 18:32:30 +00:00

import_ref.cpp

Ensure specific in ImplWitness has resolved definition before accessing witness table (#8040 )

2026-11-03 14:15:14 +00:00

import_ref.h

When performing an impl lookup, only import impls for related interfaces. (#6040 )

2025-09-10 21:40:27 +00:00

import.cpp

Render diagnostics through the terminal library (#7683 )

2026-10-15 06:08:57 +00:00

import.h

Add MakeVerifiedLocIdAndInst for runtime validation (#6942 )

2026-03-24 20:56:44 +00:00

inst_block_stack.cpp

Refactor InstBlockStore's API, AddDefaultValue -> AddPlaceholder (#5166 )

2025-03-21 23:09:37 +00:00

inst_block_stack.h

Add require decls to Interface and NamedConstraint (#6321 )

2025-11-11 16:36:15 +00:00

inst.cpp

Use a fallback loc for diagnostics generated on canonical insts (#7967 )

2026-10-15 19:03:10 +00:00

inst.h

Use a fallback loc for diagnostics generated on canonical insts (#7967 )

2026-10-15 19:03:10 +00:00

interface.cpp

Move SubobjectDestroy and SelfDestruct out of interface Destroy (#7942 )

2026-10-26 21:35:01 +00:00

interface.h

Move SubobjectDestroy and SelfDestruct out of interface Destroy (#7942 )

2026-10-26 21:35:01 +00:00

keyword_modifier_set.cpp

Some more edits to EnumBase and EnumMaskBase (#6054 )

2025-09-12 22:59:37 +00:00

keyword_modifier_set.h

Connect impls to their containing match_first block (#7486 )

2026-07-13 19:14:38 +00:00

lexical_lookup.h

Implement unused pattern bindings, continued (#6518 )

2026-02-19 23:33:36 +00:00

literal.cpp

Render diagnostics through the terminal library (#7683 )

2026-10-15 06:08:57 +00:00

literal.h

Add a Core.Array class type, and make array refer to it. (#7892 )

2026-10-06 17:23:49 +00:00

member_access.cpp

Render diagnostics through the terminal library (#7683 )

2026-10-15 06:08:57 +00:00

member_access.h

Fix accessing protected members from templates derived classes (#7780 )

2026-09-18 19:12:05 +00:00

merge.cpp

Support for -> ref/var/val auto. (#7977 )

2026-10-15 21:13:38 +00:00

merge.h

Unify MergeRedecl functions (#7632 )

2026-08-25 18:43:52 +00:00

modifiers.cpp

Render diagnostics through the terminal library (#7683 )

2026-10-15 06:08:57 +00:00

modifiers.h

Add interface modifiers (#7625 )

2026-08-17 20:49:23 +00:00

name_component.cpp

Use a fallback loc for diagnostics generated on canonical insts (#7967 )

2026-10-15 19:03:10 +00:00

name_component.h

Add support for -> auto deduced return types. (#7931 )

2026-10-15 00:30:09 +00:00

name_lookup.cpp

Fix crash when diagnosing an invalid qualified name access (#8012 )

2026-10-22 19:13:10 +00:00

name_lookup.h

Don't re-require complete types for extended scopes (#7194 )

2026-05-13 17:16:02 +00:00

name_scope.cpp

Diagnose explicit Self in extend in the parse node handler (Refactor Impl construction 1/7) (#6465 )

2025-12-09 20:38:50 +00:00

name_scope.h

Diagnose explicit Self in extend in the parse node handler (Refactor Impl construction 1/7) (#6465 )

2025-12-09 20:38:50 +00:00

node_id_traversal.cpp

Support for terse => function bodies (#7895 )

2026-10-16 21:48:48 +00:00

node_id_traversal.h

Track pending thunks on the deferred definition worklist. (#5609 )

2025-06-10 22:09:31 +00:00

node_stack.cpp

Use lines instead of statements for readability-function-size clang-tidy (#6594 )

2026-01-14 19:32:03 +00:00

node_stack.h

allow trailing commas in a struct pattern after an _ field (#8074 )

2026-11-03 22:02:33 +00:00

operator.cpp

Move SubobjectDestroy and SelfDestruct out of interface Destroy (#7942 )

2026-10-26 21:35:01 +00:00

operator.h

Make all generated Destroy.SelfDestruct calls have desugared LocIds (#7855 )

2026-09-28 22:30:56 +00:00

param_and_arg_refs_stack.h

Consolidate post-check logic (#5003 )

2025-02-25 02:07:43 +00:00

pattern_match.cpp

Add check support for struct patterns (#7876 )

2026-10-30 21:03:16 +00:00

pattern_match.h

Use a fallback loc for diagnostics generated on canonical insts (#7967 )

2026-10-15 19:03:10 +00:00

pattern.cpp

Add support for default values for non-generic parameters of generic functions. (#8011 )

2026-10-21 21:03:39 +00:00

pattern.h

Add support for default values for non-generic parameters of generic functions. (#8011 )

2026-10-21 21:03:39 +00:00

pending_block.h

Fix "<unexpected>" inst when creating an InitializeAction (#7900 )

2026-10-07 01:10:33 +00:00

period_self.cpp

Build a generic scope around where expressions (#8062 )

2026-11-02 20:05:00 +00:00

period_self.h

Defer evaluation of witnesses substituted while identifying a facet type (#7930 )

2026-10-14 14:12:56 +00:00

pointer_dereference.cpp

Generate thunks for functions in impls (#5390 )

2025-05-01 22:17:55 +00:00

pointer_dereference.h

Generate thunks for functions in impls (#5390 )

2025-05-01 22:17:55 +00:00

region_stack.h

Support for parsing expression patterns (#6977 )

2026-03-28 00:06:06 +00:00

require_impls_stack.cpp

Use earlier require decls inside a named constraint to provide witnesses for Self (#6915 )

2026-03-26 15:26:56 +00:00

require_impls_stack.h

Use earlier require decls inside a named constraint to provide witnesses for Self (#6915 )

2026-03-26 15:26:56 +00:00

return.cpp

Support for -> ref/var/val auto. (#7977 )

2026-10-15 21:13:38 +00:00

return.h

Add support for -> auto deduced return types. (#7931 )

2026-10-15 00:30:09 +00:00

scope_index.h

Use inline constexpr where appropriate. (#6374 )

2025-11-14 13:50:56 +00:00

scope_stack.cpp

Add support for -> auto deduced return types. (#7931 )

2026-10-15 00:30:09 +00:00

scope_stack.h

Add support for -> auto deduced return types. (#7931 )

2026-10-15 00:30:09 +00:00

struct.cpp

Add check support for struct patterns (#7876 )

2026-10-30 21:03:16 +00:00

struct.h

Add check support for struct patterns (#7876 )

2026-10-30 21:03:16 +00:00

subst.cpp

New specifics formed during identify need to be marked identified (#8003 )

2026-10-20 21:18:50 +00:00

subst.h

New specifics formed during identify need to be marked identified (#8003 )

2026-10-20 21:18:50 +00:00

thunk.cpp

Use a fallback loc for diagnostics generated on canonical insts (#7967 )

2026-10-15 19:03:10 +00:00

thunk.h

Add support for exporting Carbon functions as constructors. (#7560 )

2026-07-24 18:43:12 +00:00

type_completion.cpp

Ensure specific in ImplWitness has resolved definition before accessing witness table (#8040 )

2026-11-03 14:15:14 +00:00

type_completion.h

Move IdentifiedFacetType to check (#8004 )

2026-10-21 13:20:54 +00:00

type_structure.cpp

Correctly handle ImplWitnessAccess in impl lookup (#7181 )

2026-05-11 14:17:18 +00:00

type_structure.h

Make SemIR::TypeType be an empty FacetType instruction (#7813 )

2026-09-22 15:04:40 +00:00

type.cpp

Rename GenericClassType to ParameterizedClassType (#7953 )

2026-10-11 23:09:12 +00:00

type.h

Rename GenericClassType to ParameterizedClassType (#7953 )

2026-10-11 23:09:12 +00:00

unused.cpp

Render diagnostics through the terminal library (#7683 )

2026-10-15 06:08:57 +00:00

unused.h

Implement unused pattern bindings, continued (#6518 )

2026-02-19 23:33:36 +00:00