blob: e547e979b64855295a5702932869096cf2f59e77 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
//@ run-rustfix
#![expect(incomplete_features)]
#![feature(explicit_tail_calls)]
#![allow(unused)]
use std::num::Wrapping;
use std::ops::{Not, Add, BitXorAssign};
// built-ins and overloaded operators are handled differently
fn f(a: u64, b: u64) -> u64 {
become a + b; //~ error: `become` does not support operators
}
fn g(a: String, b: &str) -> String {
become a + b; //~ error: `become` does not support operators
}
fn h(x: u64) -> u64 {
become !x; //~ error: `become` does not support operators
}
fn i_do_not_know_any_more_letters(x: Wrapping<u32>) -> Wrapping<u32> {
become !x; //~ error: `become` does not support operators
}
fn builtin_index(x: &[u8], i: usize) -> u8 {
become x[i] //~ error: `become` does not support operators
}
// FIXME(explicit_tail_calls): overloaded index is represented like `[&]*x.index(i)`,
// and so need additional handling
fn a(a: &mut u8, _: u8) {
become *a ^= 1; //~ error: `become` does not support operators
}
fn b(b: &mut Wrapping<u8>, _: u8) {
become *b ^= 1; //~ error: `become` does not support operators
}
fn main() {}
|
