Skip to content

assertion failure on for loop annotation postcondition #4557

@cyberthirst

Description

@cyberthirst

Version Information

  • vyper Version (output of vyper --version): cef84e8

What's your issue about?

def foo():
    a: DynArray[DynArray[uint256, 10], 10] = []
    for i: DynArray[uint256, 10] in [k for k in a]:
        for j: uint256 in i:
            pass
AssertionError

fails on: assert len(pre_parser.for_loop_annotations) == 0

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions