tomteb/carbon-lang

Tree: 2ee2b2f1e3

Author	SHA1 Message	Date
Dana Jansens	fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115)	7 months ago
Dana Jansens	105618ecb1 Resolve nested accesses in rewrite constraints (#5872)	9 months ago
Dana Jansens	3d6395b75a Remove outdated piece of comment on `SubstInst` (#5869)	9 months ago
Dana Jansens	b36a987e73 Find cycles in rewrite constraints without performing the full exponential expansion of the RHS (#5673)	9 months ago
Dana Jansens	bdf5f00af0 Resolve the RHS of rewrite constraints in facets (#5639)	11 months ago
Richard Smith	7a55568f15 Fix crash when impl lookup fails and the type of `.Self` is symbolic. (#5603)	11 months ago
Richard Smith	4f5d11a28b Build generic eval blocks incrementally (#5313)	1 year ago
Dana Jansens	f0663715dd Even more usage of TypeInstId (#5296)	1 year ago
Richard Smith	e25f58adec Rebuild the type of a `bind_symbolic_name` when building an eval block (#5174)	1 year ago
Richard Smith	4a21b6af9b Basic support for implementing and using a parameterized interface. (#4203)	1 year ago
Richard Smith	7322a1e220 Build a list of dependent constants to recompute in each instance of a generic. (#4110)	1 year ago
Richard Smith	e0b8728263 Allocate de Bruijn levels to symbolic bindings. (#3906)	2 years ago
Richard Smith	8cb932b99c Substitute `Self` in associated function signatures before checking them against `impl`s. (#3788)	2 years ago