[Feature Request] [mojo-lang] [stdlib] Compile time iteration for `IterableOwned` types.

Review Mojo's priorities

• I have read the roadmap and priorities and I believe this request falls within the priorities.

What is your request?

def main() raises:
    comptime owned_iter = iter([1, 2, 3])
    comptime for elem in owned_iter:
        print(elem)

output

error: 'paramfor_has_next' parameter 'IteratorType' has 'Iterator & Copyable' type, but value has type 'AnyStruct[_ListIterOwned[Int]]'
    comptime for elem in owned_iter:
                         ^~~~~~~~~~

What is your motivation for this change?

This makes owned iteration at compile time impossible

Any other details?

...