pub fn recognize_builtin_impl( trait_data: &BuiltinTraitData, trait_def: &FullDef, ) -> Option<BuiltinImplData>