tomteb/carbon-lang

分支: trunk

作者	SHA1 备注	提交日期
Geoff Romer	ba6257891e Remove ValueParamPattern case from deduction (#6869)	1 月之前
Dana Jansens	917a6ea971 Add an interface-with-self generic to each interface and same for constraints (#6667)	2 月之前
Jon Ross-Perkins	2c6d9c7f66 Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708)	2 月之前
Geoff Romer	0811d996e1 Finish renaming BindName and related insts. (#6281)	6 月之前
Dana Jansens	e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180)	6 月之前
Dana Jansens	b99bc00632 Deduce arguments against the canonical facet value (#6158)	7 月之前
Dana Jansens	737c329aba Save a trip through the deduce work loop with the non-canonical value in DeduceImplArguments() (#6120)	7 月之前
Dana Jansens	b1b79c1bac Set deduce_through to false for FacetType, since we don't deduce through it (#6087)	7 月之前
Dana Jansens	ad4914b575 Avoid deducing errors as argument instructions after subst (#5710)	10 月之前
Dana Jansens	315c79ea33 Apply enclosing specifics to symbolic arguments in generic calls (#5597)	11 月之前
Richard Smith	7a55568f15 Fix crash when impl lookup fails and the type of `.Self` is symbolic. (#5603)	11 月之前
Dana Jansens	493bea1647 Fearlessly hold references into ValueStore again (#5589)	11 月之前
Jon Ross-Perkins	6f32a003d2 Remove `needs_substitution` logic (#5443)	1 年之前
Geoff Romer	fafb655d39 Separate pattern types from expression types (#5360)	1 年之前
Jon Ross-Perkins	4923445e3a Drop `Singleton` from `ErrorInst::SingletonInstId` and similar (#5304)	1 年之前
Dana Jansens	cf57c85545 Introduce TypeInstId (#5288)	1 年之前
Richard Smith	a74ca9071b Remove all remaining uses of `TypeId`s as instruction operands. (#5280)	1 年之前
josh11b	4af0c8f8d1 Implement ...`where .Self impls`... (#5238)	1 年之前
Jon Ross-Perkins	9134e36ec0 Extend CARBON_KIND_SWITCH to support ArgAndKind (#5216)	1 年之前
Jon Ross-Perkins	4cb61ae4e1 Remove ArgKinds to encourage safer coding patterns (#5212)	1 年之前
Boaz Brickner	15bb7d5ac6 Change `DeductionWorklist.context_` from reference to pointer (#5204)	1 年之前
Jon Ross-Perkins	acbe6530c3 Move diagnostics into a namespace (#5173)	1 年之前
Dana Jansens	9131b3a0de Use CARBON_KIND in deduce for FacetAccessType (#5163)	1 年之前
Dana Jansens	ce08e4d9a1 Avoid UAF in impl lookup when deduce imports an impl from Core (#5126)	1 年之前
Dana Jansens	82fe19ee99 Remove redundant deduced specifics (#5107)	1 年之前
Dana Jansens	a0b7f39591 Support impl lookup for multiple interfaces in a facet type (#5047)	1 年之前
Dana Jansens	92e635c2f0 Use the constant value unconditionally in deduce diagnostic (#5034)	1 年之前
Richard Smith	c4c3381b18 Add `TypeId::is_symbolic` and `is_concrete`. (#5024)	1 年之前
Dana Jansens	e5feced884 Avoid crash when deduce fails for imported generic (#5001)	1 年之前
Jon Ross-Perkins	422cc3d48a Move diagnostic usings off Context (#5007)	1 年之前

更新的提交更旧的提交

提交历史 查找

提交历史