core: (assembly format) resultSegmentSizes is printed #5740
Description
Description
The declarative printer prints "resultSegmentSizes" as part of the attr-dict
Expected vs Actual Behavior
I expected this not be printed (similarly to how "operandSegmentSizes" is not printed).
Steps to Reproduce and a Minimal Working Example (MWE)
Make an operation with an assembly format and the AttrSizedResultSegments irdl option and print it
Additional Information
xDSL doesn't actually have any op like this. At the moment, "operandSegmentSizes" is added to "seen_attributes" once any variadic operand definition is seen.
Alternatively this issue could be fixed by scrapping the as_property flag and just always storing these things in the property, is it ever correct to have these as attributes?