Stabilize offset_of_nested · model-checking/verify-rust-std@cc96f3e (original) (raw)
``
1
`+
// tidy-alphabetical-start
`
``
2
`+
#![cfg_attr(bootstrap, feature(offset_of_nested))]
`
``
3
`+
#![cfg_attr(target_has_atomic = "128", feature(integer_atomics))]
`
``
4
`+
#![cfg_attr(test, feature(cfg_match))]
`
1
5
`#![feature(alloc_layout_extra)]
`
2
6
`#![feature(array_chunks)]
`
3
7
`#![feature(array_ptr_get)]
`
``
8
`+
#![feature(array_try_from_fn)]
`
4
9
`#![feature(array_windows)]
`
5
10
`#![feature(ascii_char)]
`
6
11
`#![feature(ascii_char_variants)]
`
`@@ -9,112 +14,109 @@
`
9
14
`#![feature(bigint_helper_methods)]
`
10
15
`#![feature(cell_update)]
`
11
16
`#![feature(clone_to_uninit)]
`
12
``
`-
#![feature(const_align_offset)]
`
13
17
`#![feature(const_align_of_val_raw)]
`
``
18
`+
#![feature(const_align_offset)]
`
``
19
`+
#![feature(const_array_from_ref)]
`
14
20
`#![feature(const_black_box)]
`
15
21
`#![feature(const_cell_into_inner)]
`
16
22
`#![feature(const_hash)]
`
17
23
`#![feature(const_heap)]
`
18
24
`#![feature(const_intrinsic_copy)]
`
``
25
`+
#![feature(const_ip)]
`
``
26
`+
#![feature(const_ipv4)]
`
``
27
`+
#![feature(const_ipv6)]
`
``
28
`+
#![feature(const_likely)]
`
19
29
`#![feature(const_maybe_uninit_as_mut_ptr)]
`
``
30
`+
#![feature(const_mut_refs)]
`
20
31
`#![feature(const_nonnull_new)]
`
``
32
`+
#![feature(const_option)]
`
``
33
`+
#![feature(const_option_ext)]
`
``
34
`+
#![feature(const_pin)]
`
21
35
`#![feature(const_pointer_is_aligned)]
`
22
36
`#![feature(const_ptr_as_ref)]
`
23
37
`#![feature(const_ptr_write)]
`
``
38
`+
#![feature(const_result)]
`
``
39
`+
#![feature(const_slice_from_ref)]
`
24
40
`#![feature(const_three_way_compare)]
`
25
41
`#![feature(const_trait_impl)]
`
26
``
`-
#![feature(const_likely)]
`
27
42
`#![feature(core_intrinsics)]
`
28
43
`#![feature(core_io_borrowed_buf)]
`
29
44
`#![feature(core_private_bignum)]
`
30
45
`#![feature(core_private_diy_float)]
`
31
46
`#![feature(dec2flt)]
`
32
``
`-
#![feature(duration_consts_float)]
`
33
47
`#![feature(duration_constants)]
`
34
48
`#![feature(duration_constructors)]
`
``
49
`+
#![feature(duration_consts_float)]
`
``
50
`+
#![feature(error_generic_member_access)]
`
35
51
`#![feature(exact_size_is_empty)]
`
36
52
`#![feature(extern_types)]
`
37
``
`-
#![feature(freeze)]
`
``
53
`+
#![feature(float_minimum_maximum)]
`
38
54
`#![feature(flt2dec)]
`
39
55
`#![feature(fmt_internals)]
`
40
``
`-
#![feature(float_minimum_maximum)]
`
``
56
`+
#![feature(freeze)]
`
41
57
`#![feature(future_join)]
`
42
58
`#![feature(generic_assert_internals)]
`
43
``
`-
#![feature(array_try_from_fn)]
`
``
59
`+
#![feature(get_many_mut)]
`
44
60
`#![feature(hasher_prefixfree_extras)]
`
45
61
`#![feature(hashmap_internals)]
`
46
``
`-
#![feature(try_find)]
`
47
``
`-
#![feature(layout_for_ptr)]
`
48
``
`-
#![feature(pattern)]
`
49
``
`-
#![feature(slice_take)]
`
50
``
`-
#![feature(slice_from_ptr_range)]
`
51
``
`-
#![feature(slice_split_once)]
`
52
``
`-
#![feature(split_as_slice)]
`
53
``
`-
#![feature(maybe_uninit_fill)]
`
54
``
`-
#![feature(maybe_uninit_write_slice)]
`
55
``
`-
#![feature(maybe_uninit_uninit_array_transpose)]
`
56
``
`-
#![feature(min_specialization)]
`
57
``
`-
#![feature(noop_waker)]
`
58
``
`-
#![feature(numfmt)]
`
59
``
`-
#![feature(num_midpoint)]
`
60
``
`-
#![feature(offset_of_nested)]
`
61
``
`-
#![feature(isqrt)]
`
62
``
`-
#![feature(unsigned_is_multiple_of)]
`
63
``
`-
#![feature(step_trait)]
`
64
``
`-
#![feature(str_internals)]
`
65
``
`-
#![feature(std_internals)]
`
66
``
`-
#![feature(test)]
`
67
``
`-
#![feature(trusted_len)]
`
68
``
`-
#![feature(try_blocks)]
`
69
``
`-
#![feature(try_trait_v2)]
`
70
``
`-
#![feature(slice_internals)]
`
71
``
`-
#![feature(slice_partition_dedup)]
`
``
62
`+
#![feature(int_roundings)]
`
72
63
`#![feature(ip)]
`
``
64
`+
#![feature(is_ascii_octdigit)]
`
``
65
`+
#![feature(isqrt)]
`
73
66
`#![feature(iter_advance_by)]
`
74
67
`#![feature(iter_array_chunks)]
`
75
68
`#![feature(iter_chain)]
`
76
69
`#![feature(iter_collect_into)]
`
77
``
`-
#![feature(iter_partition_in_place)]
`
78
70
`#![feature(iter_intersperse)]
`
79
71
`#![feature(iter_is_partitioned)]
`
``
72
`+
#![feature(iter_map_windows)]
`
80
73
`#![feature(iter_next_chunk)]
`
81
74
`#![feature(iter_order_by)]
`
``
75
`+
#![feature(iter_partition_in_place)]
`
82
76
`#![feature(iter_repeat_n)]
`
83
77
`#![feature(iterator_try_collect)]
`
84
78
`#![feature(iterator_try_reduce)]
`
85
``
`-
#![feature(const_ip)]
`
86
``
`-
#![feature(const_ipv4)]
`
87
``
`-
#![feature(const_ipv6)]
`
88
``
`-
#![feature(const_mut_refs)]
`
89
``
`-
#![feature(const_pin)]
`
``
79
`+
#![feature(layout_for_ptr)]
`
``
80
`+
#![feature(maybe_uninit_fill)]
`
``
81
`+
#![feature(maybe_uninit_uninit_array_transpose)]
`
``
82
`+
#![feature(maybe_uninit_write_slice)]
`
``
83
`+
#![feature(min_specialization)]
`
90
84
`#![feature(never_type)]
`
91
``
`-
#![feature(unwrap_infallible)]
`
``
85
`+
#![feature(noop_waker)]
`
``
86
`+
#![feature(num_midpoint)]
`
``
87
`+
#![feature(numfmt)]
`
``
88
`+
#![feature(pattern)]
`
92
89
`#![feature(pointer_is_aligned_to)]
`
93
90
`#![feature(portable_simd)]
`
94
91
`#![feature(ptr_metadata)]
`
95
``
`-
#![feature(unsized_tuple_coercion)]
`
96
``
`-
#![feature(const_option)]
`
97
``
`-
#![feature(const_option_ext)]
`
98
``
`-
#![feature(const_result)]
`
99
``
`-
#![cfg_attr(target_has_atomic = "128", feature(integer_atomics))]
`
100
``
`-
#![cfg_attr(test, feature(cfg_match))]
`
101
``
`-
#![feature(int_roundings)]
`
``
92
`+
#![feature(slice_from_ptr_range)]
`
``
93
`+
#![feature(slice_internals)]
`
``
94
`+
#![feature(slice_partition_dedup)]
`
``
95
`+
#![feature(slice_split_once)]
`
``
96
`+
#![feature(slice_take)]
`
102
97
`#![feature(split_array)]
`
``
98
`+
#![feature(split_as_slice)]
`
``
99
`+
#![feature(std_internals)]
`
``
100
`+
#![feature(step_trait)]
`
``
101
`+
#![feature(str_internals)]
`
103
102
`#![feature(strict_provenance)]
`
104
103
`#![feature(strict_provenance_atomic_ptr)]
`
``
104
`+
#![feature(test)]
`
``
105
`+
#![feature(trait_upcasting)]
`
``
106
`+
#![feature(trusted_len)]
`
105
107
`#![feature(trusted_random_access)]
`
``
108
`+
#![feature(try_blocks)]
`
``
109
`+
#![feature(try_find)]
`
``
110
`+
#![feature(try_trait_v2)]
`
``
111
`+
#![feature(unsigned_is_multiple_of)]
`
106
112
`#![feature(unsize)]
`
107
``
`-
#![feature(const_array_from_ref)]
`
108
``
`-
#![feature(const_slice_from_ref)]
`
``
113
`+
#![feature(unsized_tuple_coercion)]
`
``
114
`+
#![feature(unwrap_infallible)]
`
109
115
`#![feature(waker_getters)]
`
110
``
`-
#![feature(error_generic_member_access)]
`
111
``
`-
#![feature(trait_upcasting)]
`
112
``
`-
#![feature(is_ascii_octdigit)]
`
113
``
`-
#![feature(get_many_mut)]
`
114
``
`-
#![feature(iter_map_windows)]
`
``
116
`+
// tidy-alphabetical-end
`
115
117
`#![allow(internal_features)]
`
116
``
`-
#![deny(unsafe_op_in_unsafe_fn)]
`
117
118
`#![deny(fuzzy_provenance_casts)]
`
``
119
`+
#![deny(unsafe_op_in_unsafe_fn)]
`
118
120
``
119
121
`mod alloc;
`
120
122
`mod any;
`