No, I think this issue is still valid. Subtype filtering should not be lifted outside the predicate it is used in. In a restriction, the predicate must evaluate to false, but that only holds for the predicate the treat is used in, not the entire where-clause.