message regarding `owned` bound is overly cryptic

[nikomatsakis]

This example:

https://gist.github.com/3562945

gives a pretty cryptic message. It ought to name the type variable which requires the owned bound.

[nikomatsakis]

Blocked on #2951.

[bstrie]

Is there a more minimal test case for this?

[emberian]

@bstrie it'd be pretty hard to find a less minimal one

[huonw]

Triage: #2951 is now closed, and the following gives a sensible error message, so I'm going to close this (reopen if the testcase below is demonstrating something different to the 1 year old mega-example above).

fn needs_send<T: Send>(_: T) {}
fn no_send<SomeParamName>(x: SomeParamName) { needs_send(x) }

$ rustc --lib 3366.rs
3366.rs:2:46: 2:56 error: instantiating a type parameter with an incompatible type `SomeParamName`, which does not fulfill `Send`
3366.rs:2 fn no_send<SomeParamName>(x: SomeParamName) { needs_send(x) }
                                                        ^~~~~~~~~~
error: aborting due to previous error