Check concrete type in impls with no trait

closes #16955 

r? @pcwalton