tomteb/carbon-lang

Haara: trunk

Tekijä	SHA1 Viesti	Päivämäärä
Dana Jansens	d9841992cb Replace .Self in facet types (#7097)	1 viikko sitten
Dana Jansens	d6be20641c Use earlier `require` decls inside a named constraint to provide witnesses for `Self` (#6915)	1 kuukausi sitten
Richard Smith	c77eebd15e Cache final impl lookup results. (#6452)	5 kuukautta sitten
Jon Ross-Perkins	b1f734e1cd Switch `EvalLookupSingleImplWitness` from "concrete" to "final" terminology (#6246)	6 kuukautta sitten
Dana Jansens	e3b4482893 Make the GetCanonicalFacetOrTypeValue operation more crisp (#6157)	7 kuukautta sitten
Dana Jansens	b6a55c0818 Diagnose impls that are fully overlapped by a final impl (#5417)	1 vuosi sitten
Dana Jansens	13da710e94 Poison impl lookup queries with concrete results (#5373)	1 vuosi sitten
Dana Jansens	51498547c9 Always use `LookupImplWitness` instructions for symbolic witnesses (#5321)	1 vuosi sitten
Dana Jansens	76c68153a2 Look for final impl when accessing associated constant in facet (#5269)	1 vuosi sitten
Dana Jansens	3469922275 Rename ImplSymblicWitness to LookupImplWitness (#5201)	1 vuosi sitten
Dana Jansens	53c98a8619 Support specialization in impl lookup with a symbolic query/impl. (#5169)	1 vuosi sitten
Dana Jansens	ce7a0a4d07 Support conversion from facet value to facet value (#5085)	1 vuosi sitten
Dana Jansens	4539114c21 Return a set of ImplWitnesses from impl lookup (#5075)	1 vuosi sitten
Jon Ross-Perkins	6b5eb1a101 Id::Invalid -> Id::None (#4834)	1 vuosi sitten
josh11b	c5fd8f42b8 `ImplWitness` (#4679)	1 vuosi sitten
Richard Smith	af816cda90 Move impl lookup out into its own file. (#4435)	1 vuosi sitten

Sitoutushistoria Etsi

Sitoutushistoria