Check concrete type in impls with no trait

closes #16955
auto merge of #17003 : nick29581/rust/impl, r=pcwalton

closes #16955 

r? @pcwalton