respect in/out on parameterized methods
fix #582, type inference for contravariant type params