Update src/libcore/option.rs
Update src/libcore/option.rs

Co-authored-by: Steve Klabnik <9ce5770b3bb4b2a1d59be2d97e34379cd192299f@steveklabnik.com>
aidancully/rust,aidancully/rust,graydon/rust,graydon/rust,aidancully/rust,graydon/rust,graydon/rust,graydon/rust,aidancully/rust,aidancully/rust,aidancully/rust,graydon/rust