Hey Sora, I agree with you, you reasoning is sound and explanation is loud and clear!
One thing though:
think
unrolled_foris a good enough name for this statement.
I am in doubt about the name. The name should hint at the fact that “this is not a simply unrolled loop”. Otherwise we will have people continuously asking
What is the difference between unrolled_for and “@unrollunroll \n for … “
You mentioned in some other thread that names should be “cryptic enough” or “subtle enough” and this is where I think your reasoning would apply as well.
comptime_unroll or
@comptime for or even
comptime for would all send that signal that “this is not a for loop”