make [manual_map] ignore types that contain dyn#12712
Open
J-ZhengLi wants to merge 2 commits intorust-lang:masterfrom J-ZhengLi:issue12666
+344-34
manual_map] ignore types that contain dyn#12712