Skip to main content

## set_aliases_to_non_rigid

# Function set_aliases_to_non_rigid

Source

    pub fn set_aliases_to_non_rigid<I: Interner, T>(
        cx: I,
        value: T,
    ) -> Unnormalized<I, T>where
        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.