More type inference tests.