[analyzer] DynTypes: Add a test for improper cast performed by user.

Dynamic type inference does the right thing in this case. However, as
Jordan suggested, it would be nice to add a warning here as well.

llvm-svn: 161365