Skip to content

Cannot infer a type for this case #662

Closed
@eholk

Description

@eholk

The typechecker does not infer a type for the following parameter. It should determine that ctrl has type port[command[K,V]].

fn cache_server[K, V] (chan[chan[command[K,V]]] c) {
    auto ctrl = port();
    c <| chan(ctrl);
}

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