Skip to content

Ambigous syntax for anonymous given  #10074

Closed
@tgodzik

Description

@tgodzik

Minimized code

Both:

given Context = ctx

and

given as Context = ctx

compile.

Expectation

I would expect only the first example to work, otherwise we will have two ways of declaring anonymous givens.

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions