Merge "Revert "Revert "optimizing: propagate type information of arguments""" am: 7cf979b02f
am: 7e7c44702f

* commit '7e7c44702f2d7774e08d9b389cb6a2119b00df0e':
  Revert "Revert "optimizing: propagate type information of arguments""