added type inference test