am df345600: Merge "Revert "optimizing: propagate type information of arguments""

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