graydon/rust — Issue #1037: Higher-order generic functions disobey kind system
Author: brson
Created: 2011-10-13 03:46:08+00:00
State: open
Labels: bug, kind, typeck, unassigned

```
fn spawn2<@T>(x: T, f: fn(T)) {
f(x);
}

fn main() {
fn foo<~T>(x: T) {
log_err x;
}

spawn2::<@int>(@10, foo);
}
```

spawn2 is passing a shared kind to a function that only takes unique kinds.