Removed !

This commit is contained in:
J.Teeuwissen 2023-01-06 08:54:44 +01:00
parent 1f10d0cb92
commit be73d3cfc4
No known key found for this signature in database
GPG key ID: DB5F7A1ED8D478AD

View file

@ -296,7 +296,7 @@ where
{
ys.iter()
.enumerate()
.any(|(i, y)| x == *y && consume_param_pred(i))
.any(|(i, y)| x == *y && !consume_param_pred(i))
}
fn is_borrow_param(x: Symbol, ys: &[Symbol], ps: &[Param]) -> bool {