Summary: type-inference should fail since lub is not defined for primitive types
Reviewed-by: jjg