Add test for comparing impl method type with bounds