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

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