Skip to content

Incorrect lambda kind inferred in block tail position #2773

Closed
@brson

Description

@brson
fn unique() -> fn~() { || () }

This fails because || () is inferred as fn@(). fn unique() -> fn~ { ret || (); } works as expected. Test case will be in run-pass/newlambdas-ret-infer2.

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