Commit History

作者 SHA1 備註 提交日期
  Dana Jansens 32aa7cb1fa Make identifying a facet type an operation on a (self+facet type) pair (#6592) 3 月之前
  Dana Jansens 0cf2448505 Get specific interfaces with correct specific from named constraints (#6435) 5 月之前
  Dana Jansens 0177dc5677 Import contained RequireImpls when importing an Interface or NamedConstraint (#6344) 5 月之前
  David Blaikie 4fdc08582a Add ValueStore ctor template for Id to use for IdTag (#6226) 6 月之前
  David Blaikie 2d1de16293 Add unit tagging to ImplId (#6214) 6 月之前
  Jon Ross-Perkins 949cc21ccc Remove SemIR:: from most sem_ir files (#5358) 1 年之前
  Jon Ross-Perkins 6b5eb1a101 Id::Invalid -> Id::None (#4834) 1 年之前
  josh11b 1d379ff7f8 Syntactic `impl` declaration matching updates (#4762) 1 年之前
  Richard Smith 568ad197d1 Track the instruction used to name the type and constraint in an impl. (#4368) 1 年之前