phantom-type
A PhantomData
analog which prevents "parameter is never used" error,
but does not produce any restrictions in contrast with PhantomData
."
A PhantomData
analog which prevents "parameter is never used" error,
but does not produce any restrictions in contrast with PhantomData
."