Carbon crashes when packaging wand with wildcard permission on rhs

[marcoeilers]

The following program verifies in Silicon but crashes Carbon:

field f: Int

method m(r: Ref)
{
    package acc(r.f, wildcard) --* acc(r.f, wildcard)
}

The error message says Verification aborted exceptionally (java.lang.RuntimeException: cannot translate wildcard at an arbitrary position (should only occur directly in an accessibility predicate).

The issue seems to be that the exhaleExt code does not have a case for handling wildcard permissions.