Test type inference