Auto-borrow trait types

r? @nikomatsakis - Allow @A to be used where &A is expected, if A is a trait. As per
issue 3794