deprecate conversion of Array{T1} to Ptr{T2} if T1 != T2 && T2 != None (fix #6073)
Merge pull request #6079 from stevengj/pointerpurity

deprecate conversion of Array{T1} to Ptr{T2} if T1 != T2 && T2 != None