87c9b3f35e
Support safe transmute in new solver Basically copies the same implementation as the old solver, but instead of looking for param types, we look for type or const placeholders.
For more information about how rustc works, see the rustc dev guide.