Verify that type inference in the presence of primitives resolves to the boxed type.