Add proper name mangling for pattern types#142401

oli-obk wants to merge 1 commit intorust-lang:masterrust-lang/rust:masterfrom

oli-obk:pattern-mangooli-obk/rust:pattern-mangoCopy head branch name to clipboard