9e5259f792
Type-inference should fail since lub is not defined for primitive types Reviewed-by: jjg
Type-inference should fail since lub is not defined for primitive types Reviewed-by: jjg