pub const MAX_RECURSION_TYP_EXPR: usize = 2_500;
A conservative limit for recursion depth on type_expr.
type_expr