Just because some bounds are parametric does not mean that all of them are; specialization violates parametricity, for example. While that's not in Rust proper yet, it did require making sure that dropck could handle it, for example, and the intention is to ship it.
There's also more minor things like https://github.com/rust-lang/rfcs/pull/1210#issuecomment-179...