@steveklabnik replied to a tweet by @oconnor663:
@oconnor663 yeah, I think "inferred" is doing some work here; it's a blanket implementation more than an actual inferral here.
but it's *also* present in signatures when required, like thread::spawn has a Send bound...
so it's tricky, for sure