Refine the bounds of the `Tuple.Filter` type lambda predicate ..#21286

EugeneFlesselle merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:tuples/filterdotty-staging/dotty:tuples/filterCopy head branch name to clipboard