tomteb/carbon-lang

Haara: trunk

Tekijä	SHA1 Viesti	Päivämäärä
Dana Jansens	917a6ea971 Add an interface-with-self generic to each interface and same for constraints (#6667)	2 kuukautta sitten
Dana Jansens	22580a47d3 Initial support for empty named constraints (#6245)	6 kuukautta sitten
Jon Ross-Perkins	6cc5d7ed2a Add an EnumMaskBase type (#6053)	7 kuukautta sitten
Dana Jansens	5aea18f949 Avoid resolving the decl block for specifics in imported instructions (#5517)	11 kuukautta sitten
Richard Smith	4f5d11a28b Build generic eval blocks incrementally (#5313)	1 vuosi sitten
Jon Ross-Perkins	55da026a46 Remove the SemIRLoc typedef (#5299)	1 vuosi sitten
Richard Smith	4acc9cac5d Replace GetInstForSpecific with direct support for rendering a SpecificId in diagnostics. (#5192)	1 vuosi sitten
Dana Jansens	6dbcc78e6c Rewrite symbolic constants in generic redeclarations (#5154)	1 vuosi sitten
Jon Ross-Perkins	8738497301 Fix parse support for 'fn F[];' (#5135)	1 vuosi sitten
josh11b	3ebd098597 Completing a type no longer ignores facet types (#5004)	1 vuosi sitten
Richard Smith	fcfb1345d5 Support accessing associated functions by member access into facets (#4872)	1 vuosi sitten
Richard Smith	5f888e1124 Treat associated constants as entities parameterized by Self (#4837)	1 vuosi sitten
Jon Ross-Perkins	9c0faf007e Invalid comment cleanup (#4836)	1 vuosi sitten
Jon Ross-Perkins	6b5eb1a101 Id::Invalid -> Id::None (#4834)	1 vuosi sitten
josh11b	c5fd8f42b8 `ImplWitness` (#4679)	1 vuosi sitten
Richard Smith	758b6c42ba Produce a note indicating where the specific was used from if monomorphization fails. (#4662)	1 vuosi sitten
Geoff Romer	223c5cb04b Restructure handling of runtime parameters (#4422)	1 vuosi sitten
josh11b	d6d70bf80d Handle runtime implicit parameters, and `self` outside of methods (#4361)	1 vuosi sitten
Richard Smith	7f22a289b9 Push a generic region when handling a `where` expression. (#4340)	1 vuosi sitten
Jon Ross-Perkins	a3a4c14960 Error on non-constant parameters to a type. (#4215)	1 vuosi sitten
Richard Smith	f6ff5b11b5 Distinguish between whether an entity has its own parameter lists and whether it is generic. (#4191)	1 vuosi sitten
Richard Smith	3c8fc714a8 Import support for generics and specifics (#4179)	1 vuosi sitten
Richard Smith	3cb769a053 Rename "generic instance" to "specific" throughout the toolchain. (#4165)	1 vuosi sitten
Richard Smith	3cc90f9017 Move `GetTypeInInstance` from `Check` to `SemIR`. (#4144)	1 vuosi sitten
Richard Smith	fe359b1a08 Substitute into generic class and interface definitions when we require them to be fully defined. (#4139)	1 vuosi sitten
Richard Smith	50d56aa7c9 Add an instruction to represent a use of a dependent value from a generic instance. (#4122)	1 vuosi sitten
Richard Smith	6d3c915bbf When performing name lookup, determine the generic instance within which the lookup result was found. (#4118)	1 vuosi sitten
Richard Smith	7322a1e220 Build a list of dependent constants to recompute in each instance of a generic. (#4110)	1 vuosi sitten
Richard Smith	fa11050961 Track a list of dependent instructions created within a generic (#4092)	1 vuosi sitten
Richard Smith	10a198a9e6 Use the correct type for `Self` in generic classes and generic interfaces (#4087)	1 vuosi sitten

Uudemmat Vanhemmat

Sitoutushistoria Etsi

Sitoutushistoria