Add new monomorphize_clone interface

This interface is required when we monomorphize since types might be

 placeholder -> projection -> param -> actual-type

This gives us a clean clone interface to destructure this into its actual
type. This is important so for example if we have a generic trait function
and resolve the function for a specific set of generics we update the
associated types. This works, then when we go to subsitute the same
generic trait again the placeholders are again updated throwing off the
typing for the first type.

Fixes #1133

0 files changed, 0 insertions, 0 deletions