A type inference test case that should JL7 should be able to handle.