Function set_aliases_to_non_rigid 

pub fn set_aliases_to_non_rigid<I, T>(cx: I, value: T) -> Unnormalized<I, T>
where
    I: Interner,
    T: TypeFoldable<I>,

This function should ideally only be used if either the TypingMode or the ParamEnv differs from the environment the aliases were normalized in.

Cases outside these two should consider whether the problem can be fixed at the root instead.