d707461a1a
filter_map_identity needless_bool search_is_some unit_arg map_identity needless_question_mark derivable_impls
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.