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

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