Nightly build 2024.12.05

What's Changed

Toolchain and implementation changes 🛠️

• Switch TypeId::TypeType to TypeType::SingletonTypeId, and similar by @jonmeow in #4619
• Include the file from which an entity was imported in formatted SemIR. by @zygoloid in #4621
• Fix bug introduced in #4613 by @josh11b in #4624
• Fix impl lookup to properly look in the IR containing a transitively-imported entity. by @zygoloid in #4625
• Filter out entities transitively imported from the prelude in test output. by @zygoloid in #4627
• Add a compile-time check that the condition of a CHECK is not constant. by @zygoloid in #4628
• Refactor IdBase to provide CRTP-based printing by @jonmeow in #4626
• Add missing library declarations to test. by @zygoloid in #4629
• Avoid relying on an implicit conversion in builtin lowering test. by @zygoloid in #4630
• Factor out common work of determining how inty a type is. by @zygoloid in #4634

Full Changelog: v0.0.0-0.nightly.2024.12.04...v0.0.0-0.nightly.2024.12.05

Nightly build 2024.12.04

What's Changed

Toolchain and implementation changes 🛠️

• Support for stringifying int values used as generic arguments. by @zygoloid in #4614
• Factor out machinery for forming int type literals. by @zygoloid in #4616
• Use a Timings* in place of optional* by @danakj in #4607
• Add framework for singleton instructions. by @jonmeow in #4582
• Remove Parse::Node, add ElementIndex in docs for typed insts by @danakj in #4604
• Add comments on the constants for BlockValueStore by @danakj in #4605
• Introduce AnyRawId as a polymorphic field type in typed instructions by @danakj in #4606
• More instructions get named by @josh11b in #4615
• Restrict the Cpp package name by @jonmeow in #4618
• Facet types support rewrite (where .A =...) constraints by @josh11b in #4613
• Remove return_slot_id by @geoffromer in #4577

Documentation changes 📝

• Explain bazel is an alias to bazelisk, and recommend that for linux by @danakj in #4603

Infrastructure changes 🏗️

• Switch from bazeliskrc to bazelversion by @jonmeow in #4612
• Enable libc++ hardening mode in opt builds by @danakj in #4609

Full Changelog: v0.0.0-0.nightly.2024.12.03...v0.0.0-0.nightly.2024.12.04

Nightly build 2024.12.03

What's Changed

Toolchain and implementation changes 🛠️

• Add a basic test for name poisoning by @bricknerb in #4572
• Fix impl lookup to look in the arguments of a specific. by @zygoloid in #4601
• Include the call arguments in the location of a call. by @zygoloid in #4602
• [NFC] In DeclNameStack::AddName(), use NameScope::AddRequired() instead of duplicating its logic by @bricknerb in #4610
• Expose InstKind::FromInt for Inst instead of InstKind::Make by @danakj in #4611
• CHECK that PreCheck and GetCheckUnit are not called twice by @danakj in #4608

Full Changelog: v0.0.0-0.nightly.2024.11.28...v0.0.0-0.nightly.2024.12.03

Nightly build 2024.12.02

What's Changed

Toolchain and implementation changes 🛠️

• Use a switch in StringifyTypeExpr by @danakj in #4598
• Add a test that verifies we prefer unqualified name lookup from a a non lexical scope over a lexical scope by @bricknerb in #4591
• Track the type as written in BaseDecl and AdaptDecl. by @zygoloid in #4564
• Include the complete type witness for a class in its SemIR output. by @zygoloid in #4599
• Fix importing of the complete_type_witness for a generic class. by @zygoloid in #4600

Full Changelog: v0.0.0-0.nightly.2024.11.27...v0.0.0-0.nightly.2024.12.02

Nightly build 2024.12.01

What's Changed

Toolchain and implementation changes 🛠️

• Use a switch in StringifyTypeExpr by @danakj in #4598
• Add a test that verifies we prefer unqualified name lookup from a a non lexical scope over a lexical scope by @bricknerb in #4591
• Track the type as written in BaseDecl and AdaptDecl. by @zygoloid in #4564
• Include the complete type witness for a class in its SemIR output. by @zygoloid in #4599
• Fix importing of the complete_type_witness for a generic class. by @zygoloid in #4600

Full Changelog: v0.0.0-0.nightly.2024.11.27...v0.0.0-0.nightly.2024.12.01

Nightly build 2024.11.30

What's Changed

Toolchain and implementation changes 🛠️

• Use a switch in StringifyTypeExpr by @danakj in #4598
• Add a test that verifies we prefer unqualified name lookup from a a non lexical scope over a lexical scope by @bricknerb in #4591
• Track the type as written in BaseDecl and AdaptDecl. by @zygoloid in #4564
• Include the complete type witness for a class in its SemIR output. by @zygoloid in #4599
• Fix importing of the complete_type_witness for a generic class. by @zygoloid in #4600

Full Changelog: v0.0.0-0.nightly.2024.11.27...v0.0.0-0.nightly.2024.11.30

Nightly build 2024.11.29

What's Changed

Toolchain and implementation changes 🛠️

• Use a switch in StringifyTypeExpr by @danakj in #4598
• Add a test that verifies we prefer unqualified name lookup from a a non lexical scope over a lexical scope by @bricknerb in #4591
• Track the type as written in BaseDecl and AdaptDecl. by @zygoloid in #4564
• Include the complete type witness for a class in its SemIR output. by @zygoloid in #4599
• Fix importing of the complete_type_witness for a generic class. by @zygoloid in #4600

Full Changelog: v0.0.0-0.nightly.2024.11.27...v0.0.0-0.nightly.2024.11.29

Nightly build 2024.11.28

What's Changed

Toolchain and implementation changes 🛠️

• Use a switch in StringifyTypeExpr by @danakj in #4598
• Add a test that verifies we prefer unqualified name lookup from a a non lexical scope over a lexical scope by @bricknerb in #4591
• Track the type as written in BaseDecl and AdaptDecl. by @zygoloid in #4564
• Include the complete type witness for a class in its SemIR output. by @zygoloid in #4599
• Fix importing of the complete_type_witness for a generic class. by @zygoloid in #4600

Full Changelog: v0.0.0-0.nightly.2024.11.27...v0.0.0-0.nightly.2024.11.28

Nightly build 2024.11.27

What's Changed

Toolchain and implementation changes 🛠️

• Improve hashtable prefetching by @chandlerc in #4585
• Add "Whether to" in the description of 'debug-info' switch by @danakj in #4592
• lazy field index by @dwblaikie in #4514
• Symbolic aggregate access by @josh11b in #4590
• Refactor command line errors to mirror diagnostic style by @jonmeow in #4568
• Add documentation for the three most common kinds of instruction operand by @zygoloid in #4594
• Don't print a comma in a two-item list. by @zygoloid in #4596
• disallow impl without base by @dwblaikie in #4583
• Refactor StringifyTypeExpr by @josh11b in #4597

Full Changelog: v0.0.0-0.nightly.2024.11.26...v0.0.0-0.nightly.2024.11.27

Nightly build 2024.11.26

What's Changed

Toolchain and implementation changes 🛠️

• Update links to the DiagnosticConsumers by @danakj in #4580
• Refresh the ValueStore api description in idioms.md by @danakj in #4586
• Update idioms.md with changes to match the code now by @danakj in #4587
• Mark instructions that can be deduced through in typed_insts.h by @josh11b in #4588
• Make facet type deduction more restrictive and correct by @josh11b in #4589
• Facet member access by @josh11b in #4371
• Switch most of ImportRefResolver to non-member functions by @zygoloid in #4584
• Simplify logic in StringifyTypeExpr using push_string by @josh11b in #4561

Documentation changes 📝

• Link to video for 2024 CppNorth talk by @josh11b in #4578

Full Changelog: v0.0.0-0.nightly.2024.11.23...v0.0.0-0.nightly.2024.11.26