I'm not sure we need another attribute for this. I would just use the existing `compiletime` attribute.