E0700: Unknown intrinsic
| Code | Category | Stability |
|---|---|---|
E0700 | Intrinsic | Permanent |
Explanation
Rue rejects an @ call when its name is not available as an intrinsic in that source context. Besides unknown names, this includes reserved spellings such as @cast that are intentionally rejected and internal intrinsics such as @place used outside their permitted compiler-defined context.
Likely cause
The intrinsic name is misspelled or obsolete, belongs to another language, names a reserved spelling that directs callers to another intrinsic, or is restricted to an internal context. Check the intrinsic quick reference and use an available, case-sensitive source spelling.
Examples
Call an unknown intrinsic
fn main() -> i32 {
@maximum(i32)
}
Use a recognized intrinsic
fn main() -> i32 {
@int_max(i32)
}