Как глобальные консты, которые не являются копиями или клонами, работают в 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`