Add check to compare an impl method type with trait bounds

closes #2687