[stdlib] Generalize the `filter(_:)` functions for typed throws
DiagnosticsModuleDiffer.def
Task.value