[Soot-list] suboptimal type assignment?

[Oege de Moor]

Are you saying that the Soot type assigner attempts to assign a
type that is as wide as possible?

> Of
> course, ConditionExpr would work in this setting but why would you
> assign an unnecessarily narrow type?

For example because

   more narrow receiver type
   implies
   more effective CHA

Thanks for the benchmark suggestion!

-Oege