E0702: Intrinsic type mismatch

Explanation

An intrinsic argument has the wrong kind or type for the selected intrinsic. Intrinsic signatures distinguish type arguments from expression arguments and may further restrict accepted value types.

Likely cause

A value was supplied where a type is required, a type was supplied where an expression is required, or the argument's type is outside the intrinsic's documented domain.

Examples

Use a non-integer type with an integer-bound intrinsic

fn main() -> i32 {
    @int_max(bool)
}

Use an integer type

fn main() -> i32 {
    @int_max(i32)
}

References

• Expression and type intrinsic arguments

• Integer-bound intrinsic operand types