Move IdentifiedFacetType to its own file (#7542)

I wanted to move it to check but there'd still be an
IdentifiedFacetTypeId and we keep all Ids in sem_ir. So leaving it in
sem_ir, but moving it to its own file. This more clearly separates
DeclaredFacetTypes and IdentifiedFacetTypes.
This commit is contained in:
Dana Jansens
2026-07-20 21:45:17 +00:00
committed by GitHub
parent 3a3439c681
commit 4b46e63b41
11 changed files with 268 additions and 205 deletions
+1
View File
@@ -26,6 +26,7 @@
#include "toolchain/check/type_structure.h"
#include "toolchain/diagnostics/emitter.h"
#include "toolchain/sem_ir/generic.h"
#include "toolchain/sem_ir/identified_facet_type.h"
#include "toolchain/sem_ir/ids.h"
#include "toolchain/sem_ir/impl.h"
#include "toolchain/sem_ir/inst.h"