Ambigous syntax for anonymous given

[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.