Як в Rust працюють глобальні конкурси, які не копіюють чи клонують?

Скажіть, у мене є такий фрагмент ( майданчик )

struct A {
    pub val: u32
}

const GLOBAL_A: A = A {val: 2};

fn main() {
    let some_a: A = GLOBAL_A;
    let other_a: A = GLOBAL_A;

    println!("double val = {}", some_a.val + other_a.val);
}

Оскільки Aце не є ані Cloneнормою Copy, я б припустив, що значення GLOBAL_Aбуде переміщено. Це не має особливого сенсу для const, і як показано, це все одно не може бути, оскільки його можна "перемістити" двічі.

Які правила, що дозволяють вищевказаному фрагменту працювати, враховуючи A, не є Cloneні Copy?

Константи завжди підкреслені. Ваш приклад по суті такий же, як

struct A {
    pub val: u32
}

fn main() {
    let some_a: A = A {val: 2};
    let other_a: A = A {val: 2};

    println!("double val = {}", some_a.val + other_a.val);
}

Значення реконструюється двічі, тому його не потрібно бути Copyабо Clone.

З іншого боку, statics не накреслені:

struct A {
    pub val: u32
}

static GLOBAL_A: A = A {val: 2};

fn main() {
    let some_a: A = GLOBAL_A;
}

призводить до

error[E0507]: cannot move out of static item `GLOBAL_A`
 --> src/main.rs:8:21
  |
8 |     let some_a: A = GLOBAL_A;
  |                     ^^^^^^^^
  |                     |
  |                     move occurs because `GLOBAL_A` has type `A`, which does not implement the `Copy` trait
  |                     help: consider borrowing here: `&GLOBAL_A`