mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-10-05 22:02:55 +01:00

Files

T

Dana JansensandRichard Smith 76c68153a2 Look for final impl when accessing associated constant in facet (#5269 )

While facets may come with a rewrite for an associated constant, they
are symbolic. A final impl has the ability to provide a concrete value
instead, which allows generic code to use the concrete value in place of
the associated constant's (fully qualified) name.

For instance, instead of `I.Type`, the concrete type `()` can be used if
there is an `impl final [T:! type] T as I where .Type = ()` impl.

This does not yet cache the result of the lookups.

Depends on https://github.com/carbon-language/carbon-lang/pull/5255

---------

Co-authored-by: Richard Smith <richard@metafoo.co.uk>

2025-04-10 13:48:49 +00:00

base

Change OutputMapping::Map::io_ from reference to pointer (#5227 )

2025-04-02 17:54:13 +00:00

check

Look for final impl when accessing associated constant in facet (#5269 )

2025-04-10 13:48:49 +00:00

codegen

Change CodeGen::Make() to take module and errors as pointers and not references (#5229 )

2025-04-01 14:55:04 +00:00

diagnostics

Implement ...where .Self impls... (#5238 )