-
Jacques-Henri Jourdan authored
Change the notation for borrows : now, it is just a notation for the predicate transformer (it does not include the payload of the borrow). --- --- The new behavior is somewhat more intuitive, and better behaved wrt view predicates.
29675f45