More type inference verification