auto merge of #16811 : nick29581/rust/dst-bug-2, r=nikomatsakis

closes #16800
r? @nikomatsakis - I'm not 100% sure this is the right approach, it is kind of ad-hoc. The trouble is we don't have any intrinsic notion of which types are sized and which are not, we only have the Sized bound, so I have nothing to validate the Sized bound against.

diff --cc src/librustc/middle/kind.rs
Simple merge

diff --cc src/librustc/middle/ty.rs
Simple merge