On Friday, 23 February 2018 at 00:54:34 UTC, Timothee Cour wrote: > in example below, how do I propagate RET (or even `typeof(a)`) > to the > result value of `inferType`? > > does this need a language change to allow this? No can do. Consider what would happen if you added put(1); inside fun - what should temp become? -- Simen