data InvalidValue

A value violates the predicate of a refined type (§3.6).

Example:

oxl✓ проверяется в CI

type Percent = u8 where 0..=90

fn main() io {
  match Percent.from(95) {
    Percent p => print("{p}")
    InvalidValue _ => print("rejected")
  }
}

Вывод

rejected

@error pub(api) data InvalidValue

С версии. 1.0.0-beta

Поля

`pub(api) msg: str = ""`	Which predicate was violated.

Определено в: std/core/types.oxl:1143