swift

43d8ab24 - [move-only] Add a new type of mark_must_check initable_but_not_consumable.

[move-only] Add a new type of mark_must_check initable_but_not_consumable. This is used to teach the checker that the thing being checked is supposed to be uninitialized at the mark_must_check point so that we don't put a destroy_addr there. The way this is implemented is that we always initially add assignable_but_not_consumable but in DI once we discover that the assign we are guarding is an init, we convert the assignable to its initable variant. rdar://106525988