4 Jul
2025
4 Jul
'25
1:29 p.m.
On Fri Jul 4 12:51:43 2025 +0000, Rémi Bernon wrote:
The public/protected attributes already exist, I don't think it is right to duplicate it just for the composable attribute. If `make_exprt` discards attributes, it's probably better to just fix things there instead.
The attributes exist but they are only used with types in IDL, not attributes. It seems cleaner to me to follow that principle in our code. I'm also not sure how it would be better to fix things in make_exprt().