RFC: Add Option::filter
to the standard library
#2124
Merged
Option::filter
to the standard library
#2124