Objective-C++ ARC: eliminate the utterly unjustified loophole that
commit4020caec546d221170072d2388b57d151cb26111
authorDouglas Gregor <dgregor@apple.com>
Fri, 17 Jun 2011 23:16:24 +0000 (17 23:16 +0000)
committerDouglas Gregor <dgregor@apple.com>
Fri, 17 Jun 2011 23:16:24 +0000 (17 23:16 +0000)
tree44f10839a53c7c9b89294536172b84e71ba5927f
parentc22d699d3aa1d7fbd32c4e35cf75abdca94bb5ef
Objective-C++ ARC: eliminate the utterly unjustified loophole that
silently dropped ownership qualifiers that were being applied to
ownership-qualified, substituted type that was *not* a substituted
template type parameter. We now provide a diagnostic in such cases,
and recover by dropping the added qualifiers.

Document this behavior in the ARC specification.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@133309 91177308-0d34-0410-b5e6-96231b3b80d8
docs/AutomaticReferenceCounting.html
lib/Sema/TreeTransform.h
lib/Sema/TypeLocBuilder.h
test/SemaObjCXX/arc-templates.mm