Add test for comparing impl method type with trait bounds

closes #2687

This patch checks if all type bounds of an argument in an implementation of a trait can be found in the trait definition.

I'm not entirely sure about the wording of the error message though.