HF RL Explorer

The sol! macro's default expansion does not isolate namespaces correctly, leading to type collisions and…

The sol! macro's default expansion does not isolate namespaces correctly, leading to type collisions and…: a task in LegoFlow-SWE (Harbor dataset). The expansion performed by expand should maintain proper namespace isolation for every type declared inside a contract body. Specifically:

The task

The expansion performed by `expand` should maintain proper namespace isolation for every type declared inside a contract body. Specifically:

Part of Lego-X/LegoFlow-SWE.