carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-09-24 19:20:13 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

Add explanation of TypeInstId to check docs. (#7555)

Browse Source
This commit is contained in:
Richard Smith
2026-07-22 22:53:30 +00:00
committed by GitHub
parent 43df8c474a
commit 9477e32936
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
toolchain/docs/check/README.md
+3
View File
@@ -137,6 +137,9 @@ listed in the `SemIR::IdKind` enumeration defined in
- `SemIR::InstId`: Refers to a specific instance of an instruction. For
example, this should be used if the operand may have side-effects or a
meaningful location.
- `SemIR::TypeInstId`: Refers to a specific instance of an instruction of type
`type`. This should be used instead of `InstId` if you know that the type of
the instruction is always `type` (or the "error" type).
- `SemIR::ConstantId`: An abstract reference to a known constant value. This
should be used instead of `InstId` if you care only about the identity of
the value and not how it was formed.