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

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