swift
[ownership-verifier] SubObject Borrowing + Better output for FileCheck + More tests
#6972

Merged

[ownership-verifier] SubObject Borrowing + Better output for FileCheck + More tests #6972

gottesmm merged 3 commits into swiftlang:master from gottesmm:more_semantic_sil

[ownership-verifier] Rename PrintMessageInsteadOfAssert => IsSILOwner…

f462d201

[ownership-verifier] Add two tests to ensure that the verifier accept…

60449d55

[ownership-verifier] Add proper subobject borrowing verification.

f857f2c6

gottesmm merged ae02e0f5 into master 8 years ago

gottesmm deleted the more_semantic_sil branch 8 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone