am 39a7f93a: am 02280e6d: Merge "optimizing: propagate type information of arguments"

* commit '39a7f93ad5306de8271d06ca5a55123bb22ade29':
  optimizing: propagate type information of arguments