Warning: this way of using the CLI is deprecated. Use 'dafny --help' to see help for the new Dafny CLI format
git-issue-19c.dfy(41,10): Error: a set comprehension involved in a function definition is not allowed to depend on the set of allocated references, but values of 'basic' (of type 'Basic') may contain references (see documentation for 'older' parameters)
git-issue-19c.dfy(86,12): Error: a set comprehension involved in a function definition (implicitly by using a function in a reads clause) is not allowed to depend on the set of allocated references, but values of '_x0' (of type 'Basic') may contain references (see documentation for 'older' parameters)
git-issue-19c.dfy(93,12): Error: a set comprehension involved in a function definition (implicitly by using a function in a reads clause) is not allowed to depend on the set of allocated references, but values of '_x0' (of type 'X') may contain references (perhaps declare its type as 'X(!new)') (see documentation for 'older' parameters)
git-issue-19c.dfy(100,12): Error: a set comprehension involved in a function definition (implicitly by using a function in a reads clause) is not allowed to depend on the set of allocated references, but values of '_x1' (of type 'X') may contain references (perhaps declare its type as 'X(!new)') (see documentation for 'older' parameters)
git-issue-19c.dfy(110,10): Error: a reads-clause expression must denote an object, a set/iset/multiset/seq of objects, or a function to a set/iset/multiset/seq of objects (instead got int -> set<int>)
git-issue-19c.dfy(111,10): Error: a reads-clause expression must denote an object, a set/iset/multiset/seq of objects, or a function to a set/iset/multiset/seq of objects (instead got int ~> iset<bool>)
git-issue-19c.dfy(112,10): Error: a reads-clause expression must denote an object, a set/iset/multiset/seq of objects, or a function to a set/iset/multiset/seq of objects (instead got int --> map<Basic, Basic>)
git-issue-19c.dfy(113,10): Error: a reads-clause expression must denote an object, a set/iset/multiset/seq of objects, or a function to a set/iset/multiset/seq of objects (instead got int --> imap<Basic, Basic>)
git-issue-19c.dfy(121,12): Error: a reads-clause expression must denote an object, a set/iset/multiset/seq of objects, or a function to a set/iset/multiset/seq of objects (instead got int ~> int)
git-issue-19c.dfy(141,12): Error: a set comprehension involved in a lambda expression (implicitly by using a function in a reads clause) is not allowed to depend on the set of allocated references, but values of '_x0' (of type 'Basic') may contain references (see documentation for 'older' parameters)
git-issue-19c.dfy(149,14): Error: a set comprehension involved in a lambda expression (implicitly by using a function in a reads clause) is not allowed to depend on the set of allocated references, but values of '_x0' (of type 'Basic') may contain references (see documentation for 'older' parameters)
git-issue-19c.dfy(167,19): Error: a set comprehension involved in a lambda expression is not allowed to depend on the set of allocated references, but values of 'c' (of type 'Basic') may contain references (see documentation for 'older' parameters)
git-issue-19c.dfy(172,16): Error: a set comprehension involved in a lambda expression is not allowed to depend on the set of allocated references, but values of 'c' (of type 'Basic') may contain references (see documentation for 'older' parameters)
git-issue-19c.dfy(179,16): Error: a set comprehension involved in a lambda expression is not allowed to depend on the set of allocated references, but values of 'c' (of type 'Basic') may contain references (see documentation for 'older' parameters)
git-issue-19c.dfy(186,16): Error: a set comprehension involved in a lambda expression is not allowed to depend on the set of allocated references, but values of 'x' (of type 'X') may contain references (perhaps declare its type as 'X(!new)') (see documentation for 'older' parameters)
git-issue-19c.dfy(193,12): Error: a set comprehension involved in a lambda expression (implicitly by using a function in a reads clause) is not allowed to depend on the set of allocated references, but values of '_x1' (of type 'X') may contain references (perhaps declare its type as 'X(!new)') (see documentation for 'older' parameters)
16 resolution/type errors detected in git-issue-19c.dfy
