Skip to main content

luaur_analysis/enums/
reduction.rs

1#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
2#[repr(i32)]
3#[allow(non_camel_case_types)]
4pub enum Reduction {
5    // The type function is either known to be reducible or the determination is blocked.
6    MaybeOk,
7    // The type function is known to be irreducible, but maybe not be erroneous, e.g. when it's over generics or free types.
8    Irreducible,
9    // The type function is known to be irreducible, and is definitely erroneous.
10    Erroneous,
11}