Skip to content

InvalidOperation on [[]][i] #5243

Description

@Sporarum

On current master (577d253)

@external
def foo(i: uint256) -> DynArray[uint256, 5]:
    return [[]][i]

Fails with either:
legacy:

vyper.exceptions.TypeCheckFailure: assigning Never to Never fake_node fake_node

venom (or legacy with #5234):

vyper.exceptions.InvalidOperation: `Never` does not have an abi encoding

This is most likely a regression over pre-Never behavior
(And should be fixed regardless)

Added as an xfail test in #5234

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

bugBug that shouldn't change language semantics when fixed.bug - type 0compiler halts or panics instead of generating codebug - typecheckerissue with typechecker

Type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions