inferHardType for "foo" should return String<0,[N]> instead