Skip to main content

## set_aliases_to_non_rigid

# Function set_aliases_to_non_rigid

Source

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

Expand description

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.