Type inference for generators

```
#![feature(generators)]

fn main() {
    let x = || { yield 3 };
}
```

When using VSCode with this code I notice that:
1. It seems a ```yield``` with argument is reported by analyzer as error.
2. Also helping hint about ```x``` type displays that ```x``` have closure type ```|| -> i32``` instead of generator trait type.
