kani icon indicating copy to clipboard operation
kani copied to clipboard

Does `TagEncoding::Direct` need to worry about generators

Open danielsn opened this issue 2 years ago • 0 comments

AFAIK, we can only have this case for Enums. Generators use a different field naming scheme, so we would need to specalize this operation for Enum/Generator, if there is a case where it happens for generators. Since we can't come up with one, we can't test doing this. If you find a case that does need it, please post it on this issue!

danielsn avatar Aug 05 '22 20:08 danielsn