Rephrase statement in Deref: "Collections are smart pointers"

[StrayLittlePunk]

Disadvantages
Methods and traits only available via dereferencing are not taken into account when bounds checking, so generic programming with data structures using this pattern can get complex (see the Borrow and AsRef traits, etc.).
why method and traits only available via dereferencing are not taken into account when bounds checking ?

[MarcoIeni]

I agree it's really complicated.
If someone wants to improve this a PR is welcome.

[pickfire]

I don't understand that sentence itself. I thought bound checks are usually eliminated when using collections and iterator method?

[StrayLittlePunk]

@pickfire I don't think so, it said method and trait are not taken into account. the statement link at below
Original Statement link

[StrayLittlePunk]

@MarcoIeni I think so too