Historial de Commits

Autor SHA1 Mensaje Fecha
  Dana Jansens 315e206ff1 Construct LocId from InstId directly (explicitly) instead of doing lookups when possible (#5355) hace 1 año
  Dana Jansens 51498547c9 Always use `LookupImplWitness` instructions for symbolic witnesses (#5321) hace 1 año
  Dana Jansens c38e723dd8 Rename singleton InstId constants to TypeInstId (#5323) hace 1 año
  Jon Ross-Perkins 4923445e3a Drop `Singleton` from `ErrorInst::SingletonInstId` and similar (#5304) hace 1 año
  Jon Ross-Perkins 55da026a46 Remove the SemIRLoc typedef (#5299) hace 1 año
  Dana Jansens 0e8d354567 Split the witness table into a separate ImplWitnessTable instruction (#5272) hace 1 año
  Dana Jansens cf57c85545 Introduce TypeInstId (#5288) hace 1 año
  Richard Smith 47fa1b5991 Rename `StringifyType` to reflect that it can stringify non-type constants. (#5285) hace 1 año
  Dana Jansens aec90e3ae1 Rename rewrite_value to rewrite_inst_id to clarify what it's holding (#5286) hace 1 año
  Richard Smith a91752de60 Represent rewrite constraints in `FacetTypeInfo` with `InstId` not `ConstantId`. (#5281) hace 1 año
  Dana Jansens c15dea4fa2 Stop erasing ImplWitnessAssociatedConstant instructions from the witness table (#5283) hace 1 año
  Dana Jansens d07f70cfb3 Add insts for witness table entries that are unset or associated constants (#5255) hace 1 año
  josh11b 4af0c8f8d1 Implement ...`where .Self impls`... (#5238) hace 1 año
  josh11b bc439ad092 Forward `impl` declarations of incomplete facet types (#5219) hace 1 año
  Richard Smith c4c3381b18 Add `TypeId::is_symbolic` and `is_concrete`. (#5024) hace 1 año
  josh11b eb69d7420e First iteration of completing and resolving facet types (#4920) hace 1 año