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