mozilla/rust — Issue #1915: kinds are not (always?) enforced in impl calls
Author: nikomatsakis
Created: 2012-03-01 16:05:55+00:00
State: open

I expect an error in `foo()` because `T` is not copyable:

```
fn foo() {
1u.bar::();
}

impl methods for uint {
fn bar() {
}
}

fn main() {}
```