summaryrefslogtreecommitdiffstats
path: root/compiler/rustc_error_codes/src/error_codes/E0791.md
blob: 61d2f511a348db34cd81db91fb581945e5ae605f (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
Static variables with the `#[linkage]` attribute within external blocks
must have one of the following types, which are equivalent to a nullable
pointer in C:

* `*mut T` or `*const T`, where `T` may be any type.

* An enumerator type with no `#[repr]` attribute and with two variants, where
  one of the variants has no fields, and the other has a single field of one of
  the following non-nullable types:
  * Reference type
  * Function pointer type

  The variants can appear in either order.

For example, the following declaration is invalid:

```compile_fail,E0791
#![feature(linkage)]

extern "C" {
    #[linkage = "extern_weak"]
    static foo: i8;
}
```

The following declarations are valid:

```
#![feature(linkage)]

extern "C" {
    #[linkage = "extern_weak"]
    static foo: Option<unsafe extern "C" fn()>;

    #[linkage = "extern_weak"]
    static bar: Option<&'static i8>;

    #[linkage = "extern_weak"]
    static baz: *mut i8;
}
```