What's Changed
Toolchain and implementation changes 🛠️
- Test
classwith multipleextendby @josh11b in #4504 - Name empty tuples distinctly in SemIR. by @jonmeow in #4503
- Remove forward references from binding patterns by @geoffromer in #4494
- Replace FIXME with TODO in toolchain code by @geoffromer in #4506
- Change the bazel-out structure to avoid busybox symlinks. by @jonmeow in #4505
- Replace
InterfaceTypewithFacetTypeby @josh11b in #4499 - Don't eagerly materialize an initializing expression used as the object in a compound member access. by @zygoloid in #4496
- Remove some single-interface restrictions from some uses of facet types by @josh11b in #4508
- Fix use-after-free printing the name of an interface that might have been invalidated by lazy import. by @zygoloid in #4509
- Include the arguments for a generic class or interface in diagnostics. by @zygoloid in #4511
- Preserve the is_dynamic property of classes when importing them by @dwblaikie in #4501
- Add missing
#includeby @josh11b in #4513 - Look in libraries associated with the interface by @josh11b in #4510
- Collect timing data per unit for each phase by @samestep in #4512
- Add
facet_types()accessor toCheck::Contextby @josh11b in #4518 - Canonicalize away bit width and embed small integers into
IntIds by @chandlerc in #4487 - Add diagnostic coverage, remove possibly-unreachable unary op diagnostic by @jonmeow in #4519
- Follow-up to #4487 to fix file names by @chandlerc in #4520
- Fix bazel-bin invocations of run_tool by @jonmeow in #4521
- Support extended scopes that are parameterized types by @josh11b in #4524
- Add builtin for performing checked conversion between integer types. by @zygoloid in #4523
Full Changelog: v0.0.0-0.nightly.2024.11.08...v0.0.0-0.nightly.2024.11.14