Type completion of facet types is separate from Identifying#6385

Merged

danakj merged 28 commits intocarbon-language:trunkfrom

danakj:complete-not-identify

Nov 21, 2025

Commits on Nov 20, 2025

complete-not-identify
danakj
committed
touchup
danakj
committed
MakeCopyOfSpecificAndAppendSelf
danakj
committed
bit-simpler
danakj
committed
whitespace
danakj
committed
complete-at-require-decl
danakj
committed
no-recurse-needed
danakj
committed
recurse-on-facets
danakj
committed
autoupdate
danakj
committed
comment
danakj
committed
rewrites-complete
danakj
committed
autoupdate
danakj
committed
avoid-uaf
danakj
committed
test-and-fix-multi-level-specific-resolution
danakj
committed
one-less-malloc
danakj
committed
add-comment
danakj
committed
extends
danakj
committed
no-k
danakj
committed
fix-test
danakj
committed
Revert "avoid-uaf"
danakj
committed
move-tests
danakj
committed
try-move-requirecompletetype
danakj
committed
works-but-import-crash
danakj
committed
wip
danakj
committed
works
danakj
committed
yay
danakj
committed
remove-todo-diagnostic
danakj
committed

Commits on Nov 21, 2025

review
danakj
committed