Lucile Rose Nihlen 53b7cfbaba Add basic caller-side support for default values in check (#7800) ...

Modifies the arity check to include a lower-bound for arguments.
Adds logic to pattern matching to supply default arguments for
missing parameters.

2026-09-22 22:07:35 +00:00

..

absolute_node_ref.cpp

Fix cross-package signature mismatches. (#7232)

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

absolute_node_ref.h

Support for locations in transitively imported C++ code (#7093)

2026-04-23 20:11:04 +00:00

associated_constant.cpp

Switch the ValueStore-related templates to use explicit instantiation (#7116)

2026-05-14 08:29:17 +00:00

associated_constant.h

Replace :! binding syntax with phase keywords and contextual defaults (#7479)

2026-07-11 01:22:44 +00:00

BUILD

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

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

builtin_function_kind.cpp

Implement FloatLiteral addition and subtraction (#7621)

2026-08-18 17:47:58 +00:00

builtin_function_kind.def

Implement Core.CharLiteral operations from #6710 and #7314 (#7316)

2026-06-11 16:45:39 +00:00

builtin_function_kind.h

Switch the prelude to use ref instead of addr (#6359)

2025-11-14 00:40:26 +00:00

bundle.cpp

Out-of-line cold YAML and debug-printing paths from widely-included headers (#7320)

2026-06-08 02:42:23 +00:00

bundle.h

Include bundle operands in operand refinement (#7391)

2026-06-19 00:22:05 +00:00

clang_decl.cpp

Add specific_id and pattern_inst_id to ClangDecl (#7583)

2026-07-29 19:53:12 +00:00

clang_decl.h

Let Printable children default their comparison operators (#7642)

2026-08-19 01:00:13 +00:00

class.cpp

Take specific into account in CalculateCppFieldOffsets (#7588)

2026-07-30 21:50:13 +00:00

class.h

Take specific into account in CalculateCppFieldOffsets (#7588)

2026-07-30 21:50:13 +00:00

constant.cpp

Out-of-line cold YAML and debug-printing paths from widely-included headers (#7320)

2026-06-08 02:42:23 +00:00

constant.h

Replace :! binding syntax with phase keywords and contextual defaults (#7479)

2026-07-11 01:22:44 +00:00

copy_on_write_block.h

Change BlockValueStore to take ElementT as a parameter (#5758)

2025-07-02 19:21:01 +00:00

core_interface_kind.def

Support for float <-> float conversions. (#7279)

2026-06-04 00:33:33 +00:00

core_interface.cpp

adds a field to SemIR::Interface to indicate whether it is a core interface (#7091)

2026-04-24 17:33:23 +00:00

core_interface.h

adds a field to SemIR::Interface to indicate whether it is a core interface (#7091)

2026-04-24 17:33:23 +00:00

cpp_domain.cpp

Create modules for header imports. (#7613)

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

cpp_domain.h

Create modules for header imports. (#7613)

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

cpp_file.cpp

Create modules for header imports. (#7613)

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

cpp_file.h

Create modules for header imports. (#7613)

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

cpp_initializer_list.cpp

Interop support for initialization via std::initializer_list. (#6672)

2026-01-30 22:24:18 +00:00

cpp_initializer_list.h

Interop support for initialization via std::initializer_list. (#6672)

2026-01-30 22:24:18 +00:00

cpp_overload_set.cpp

Switch the ValueStore-related templates to use explicit instantiation (#7116)

2026-05-14 08:29:17 +00:00

cpp_overload_set.h

Don't include expensive Clang headers in widely-included headers (#7319)

2026-06-07 16:27:22 +00:00

declared_facet_type.cpp

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

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

declared_facet_type.h

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

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

default_value.cpp

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

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

default_value.h

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

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

diagnostic_loc_converter.cpp

Move diagnostic emit functions to protected to match their base class (#7764)

2026-09-10 22:29:52 +00:00

diagnostic_loc_converter.h

Support for locations in transitively imported C++ code (#7093)

2026-04-23 20:11:04 +00:00

dump.cpp

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

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

dump.h

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

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

entity_name.cpp

Add extern template declarations for ValueStore in inst.h and entity_name.h (#7507)

2026-07-14 22:58:05 +00:00

entity_name.h

Preserve the type-as-written for bindings and use it in diagnostics. (#7804)

2026-09-19 00:02:49 +00:00

entity_with_params_base.h

Add basic caller-side support for default values in check (#7800)

2026-09-22 22:07:35 +00:00

entry_point.cpp

Only treat top-level Run in Main as the entry point (#6757)

2026-02-18 22:17:15 +00:00

entry_point.h

Remove SemIR:: from most sem_ir files (#5358)

2025-04-25 16:06:10 +00:00

expr_info.cpp

Support for lowering templates (#7727)

2026-09-08 18:39:57 +00:00

expr_info.h

Support for lowering templates (#7727)

2026-09-08 18:39:57 +00:00

field.cpp

Add FieldStore and fix field initializer imports (#7287)

2026-06-01 19:02:01 +00:00

field.h

Fix SemIR not showing insts used to compute FieldDecl type (#7706)

2026-09-02 20:28:05 +00:00

file.cpp

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

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

file.h

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

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

formatter_chunks.cpp

Rewrite the FormatterChunks API (#6784)

2026-02-25 23:18:09 +00:00

formatter_chunks.h

Rewrite the FormatterChunks API (#6784)

2026-02-25 23:18:09 +00:00

formatter.cpp

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

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

formatter.h

NOLINT a cycle in semir formatting (#7774)

2026-09-11 22:29:17 +00:00

function.cpp

Canonicalize generated functions for Core witnesses (#7729)

2026-09-15 16:02:13 +00:00

function.h

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

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

generic.cpp

Initialize specifics in-place. (#7717)

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

generic.h

Initialize specifics in-place. (#7717)

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

id_kind.h

Transform pattern default values to SemIR (#7649)

2026-09-01 16:12:34 +00:00

identified_facet_type.cpp

Move IdentifiedFacetType to its own file (#7542)

2026-07-20 21:45:17 +00:00

identified_facet_type.h

Move IdentifiedFacetType to its own file (#7542)

2026-07-20 21:45:17 +00:00

ids_test.cpp

Tag destruction as desugaring (#5790)

2025-07-10 21:21:19 +00:00

ids.cpp

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

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

ids.h

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

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

impl.cpp

Rename FacetTypeInfo to DeclaredFacetType (#7528)

2026-07-20 19:15:09 +00:00

impl.h

Use GetConstantValueInSpecific to get the impl's specific interface after deduction (#7584)

2026-07-30 19:59:10 +00:00

import_cpp.h

Remove unused ImportCppId and list of Cpp imports in File (#6290)

2025-10-30 18:03:34 +00:00

import_ir.cpp

Switch the ValueStore-related templates to use explicit instantiation (#7116)

2026-05-14 08:29:17 +00:00

import_ir.h

Switch the ValueStore-related templates to use explicit instantiation (#7116)

2026-05-14 08:29:17 +00:00

inst_categories.h

Remove ValueBinding and RefBinding (#7427)

2026-06-29 17:41:23 +00:00

inst_fingerprinter.cpp

Avoid using string operator += for a single character (#7747)

2026-09-10 16:39:08 +00:00

inst_fingerprinter.h

Add a text mode for fingerprinting. (#7231)

2026-05-19 23:16:51 +00:00

inst_kind.cpp

Add MakeVerifiedLocIdAndInst for runtime validation (#6942)

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

inst_kind.def

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

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

inst_kind.h

NOLINT an initializer list construction that clang-tidy warns on (#7759)

2026-09-10 23:49:07 +00:00

inst_namer.cpp

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

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

inst_namer.h

Implement checking observe declarations (#6709)

2026-07-08 17:07:10 +00:00

inst.cpp

Add extern template declarations for ValueStore in inst.h and entity_name.h (#7507)

2026-07-14 22:58:05 +00:00

inst.h

Initialize specifics in-place. (#7717)

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

interface.cpp

Switch the ValueStore-related templates to use explicit instantiation (#7116)

2026-05-14 08:29:17 +00:00

interface.h

Handle import refs in TryGetExistingDecl (#7620)

2026-08-11 19:29:46 +00:00

mangler.cpp

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

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

mangler.h

Remove redundant use of typename (#7751)

2026-09-11 00:22:27 +00:00

name_scope_test.cpp

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

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

name_scope.cpp

Fix mangling collisions for library-private entities. (#7283)

2026-06-01 19:19:08 +00:00

name_scope.h

Don't include expensive Clang headers in widely-included headers (#7319)

2026-06-07 16:27:22 +00:00

name.cpp

Out-of-line cold YAML and debug-printing paths from widely-included headers (#7320)

2026-06-08 02:42:23 +00:00

name.h

Out-of-line cold YAML and debug-printing paths from widely-included headers (#7320)

2026-06-08 02:42:23 +00:00

named_constraint.cpp

Switch the ValueStore-related templates to use explicit instantiation (#7116)

2026-05-14 08:29:17 +00:00

named_constraint.h

Handle import refs in TryGetExistingDecl (#7620)

2026-08-11 19:29:46 +00:00

observe.cpp

Implement checking observe declarations (#6709)

2026-07-08 17:07:10 +00:00

observe.h

Implement checking observe declarations (#6709)

2026-07-08 17:07:10 +00:00

pattern.cpp

Implement thunking in terms of constant evaluation (#7332)

2026-06-13 00:22:00 +00:00

pattern.h

Import C++ ref parameters as ref parameters (#6360)

2025-11-13 17:04:58 +00:00

read_only_ast_source.cpp

Take specific into account in CalculateCppFieldOffsets (#7588)

2026-07-30 21:50:13 +00:00

read_only_ast_source.h

Reland "Fix crash from accessing a Check::Context during lowering (#7335)" (#7359)

2026-06-15 20:30:07 +00:00

require_impls.cpp

Switch the ValueStore-related templates to use explicit instantiation (#7116)

2026-05-14 08:29:17 +00:00

require_impls.h

Switch the ValueStore-related templates to use explicit instantiation (#7116)

2026-05-14 08:29:17 +00:00

singleton_insts.h

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

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

specific_interface.cpp

Switch the ValueStore-related templates to use explicit instantiation (#7116)

2026-05-14 08:29:17 +00:00

specific_interface.h

Switch the ValueStore-related templates to use explicit instantiation (#7116)

2026-05-14 08:29:17 +00:00

specific_named_constraint.h

Make Subst recurse through named constraints in a FacetTypeInfo (#6367)

2025-11-13 23:00:20 +00:00

stringify.cpp

Preserve the type-as-written for bindings and use it in diagnostics. (#7804)

2026-09-19 00:02:49 +00:00

stringify.h

Start to preserve type sugar in diagnostics. (#7768)

2026-09-15 23:11:58 +00:00

struct_type_field.cpp

Switch the ValueStore-related templates to use explicit instantiation (#7116)

2026-05-14 08:29:17 +00:00

struct_type_field.h

Switch the ValueStore-related templates to use explicit instantiation (#7116)

2026-05-14 08:29:17 +00:00

sugared_type.cpp

Preserve the type-as-written for bindings and use it in diagnostics. (#7804)

2026-09-19 00:02:49 +00:00

sugared_type.h

Start to preserve type sugar in diagnostics. (#7768)

2026-09-15 23:11:58 +00:00

thunk.h

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

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

type_info.cpp

Support LP64 platforms such as Darwin where int64_t is long long. (#7596)

2026-08-07 16:10:01 +00:00

type_info.h

Support LP64 platforms such as Darwin where int64_t is long long. (#7596)

2026-08-07 16:10:01 +00:00

type_iterator.cpp

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

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

type_iterator.h

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

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

type.cpp

Subst the whole facet type to replace .Self in identify (#7449)

2026-07-07 13:30:53 +00:00

type.h

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

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

typed_insts_test.cpp

Remove SemIR:: from most sem_ir files (#5358)

2025-04-25 16:06:10 +00:00

typed_insts.h

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

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

vtable.cpp

Switch the ValueStore-related templates to use explicit instantiation (#7116)

2026-05-14 08:29:17 +00:00

vtable.h

Switch the ValueStore-related templates to use explicit instantiation (#7116)

2026-05-14 08:29:17 +00:00

yaml_test.cpp

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

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