On Monday, October 22, 2012 1:25:54 AM UTC+2, Simon Ochsenreither wrote: > > > that's false; a List[String] can happen to be empty. >> > List[String] is a supertype of List[Nothing], just like Object. That's > surely not the point I was trying to make. >
What point _were_ you making then? -- You received this message because you are subscribed to the Google Groups "Java Posse" group. To view this discussion on the web visit https://groups.google.com/d/msg/javaposse/-/XsNfp0xynkMJ. To post to this group, send email to javaposse@googlegroups.com. To unsubscribe from this group, send email to javaposse+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/javaposse?hl=en.