implicit conversion subgroup of conversion, 1 assertions