Defer covariance checks for dependent types. Add test cases that also ensure
they are re-checked on instantiation.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@96217 91177308-0d34-0410-b5e6-96231b3b80d8
2 files changed