[PATCH] D27365: [analyzer] Print type for SymbolRegionValues when dumping to stream

[Dominic Chen via Phabricator via cfe-commits]

ddcc added a comment.

Yeah, I had to implement implicit type promotion and conversion, because Z3 checks expression types pretty strictly.


https://reviews.llvm.org/D27365