v8.4: Fixing the anomaly in bug #3045 (a filter was not type-safe in
2nd-order matching).