am 02280e6d: Merge "optimizing: propagate type information of arguments"

* commit '02280e6d97e4ed51f149b9863a5e382111559442':
  optimizing: propagate type information of arguments