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>,