kinds are not (always?) enforced in impl calls

[nikomatsakis]

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

fn foo<T>() {
    1u.bar::<T>();
}

impl methods for uint {
    fn bar<T:copy>() {
    }
}

fn main() {}