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?
```
template inference(alias emitter) {
auto inference(){
auto
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
On 23/02/2018 1:54 PM, 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?
```
template inference(alias emitter) {
auto inference(){
auto inferType(){
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?
```
template inference(alias emitter) {
auto inference(){
auto inferType(){
emitter!((a){
enum RET=typeof(a).stringof; // type
