magic wand with quantified resources on RHS causes crash

[alexanderjsummers]

The same applies with e.g. quantified predicate instances (and e.g. with a reasonable conditional as opposed to literally quantifying over all Refs):

field f: Ref

method foo()
{
    package true --* (forall n:Ref :: acc(n.f))
}