@voddan: i'm not sure the kotlin compiler has a well defined front end/back end yet. but at any rate, inlining already affects the language and type inference, it must do for the case of reified functions. so i would very much like to see flow typing extended to flow through inline functions. it'd make some rather nice things possible in an easily understood way