swift

f44f7ea3 - [ownership-verifier] Add a test for a destroy of an owned value before it is no longer borrowed.

[ownership-verifier] Add a test for a destroy of an owned value before it is no longer borrowed. This makes sure that we treat the end_borrow as a proper use of the original value. In such a situation since it is a use, the verifier should trigger that we have a use after free. rdar://29791263