Expression constant generation at multiple types is broken

[maurer]

If you have an expression which can be used to construct multiple types, the generated code will not populate all of them correctly. For example, take

type V0 = Vec<u8>;
type V1 = Vec<u16>;

The mycroft program

foo(V0)
bar(V1)
?get_foo(~(Vec::new()))
?get_bar(~(Vec::new()))

will generate incorrect code.

One possibility for fixing this is to add types to all constant names.

For now, the workaround is to give a specialized name to the function in the surrounding code.