rustc_attr_parsing/attributes/
rustc_internal.rs

1use rustc_ast::LitKind;
2use rustc_attr_data_structures::AttributeKind;
3use rustc_feature::{AttributeTemplate, template};
4use rustc_span::{Symbol, sym};
5
6use crate::attributes::{AttributeOrder, OnDuplicate, SingleAttributeParser};
7use crate::context::{AcceptContext, Stage};
8use crate::parser::ArgParser;
9
10pub(crate) struct RustcLayoutScalarValidRangeStart;
11
12impl<S: Stage> SingleAttributeParser<S> for RustcLayoutScalarValidRangeStart {
13    const PATH: &'static [Symbol] = &[sym::rustc_layout_scalar_valid_range_start];
14    const ATTRIBUTE_ORDER: AttributeOrder = AttributeOrder::KeepFirst;
15    const ON_DUPLICATE: OnDuplicate<S> = OnDuplicate::Error;
16    const TEMPLATE: AttributeTemplate = template!(List: "start");
17
18    fn convert(cx: &mut AcceptContext<'_, '_, S>, args: &ArgParser<'_>) -> Option<AttributeKind> {
19        parse_rustc_layout_scalar_valid_range(cx, args)
20            .map(|n| AttributeKind::RustcLayoutScalarValidRangeStart(n, cx.attr_span))
21    }
22}
23
24pub(crate) struct RustcLayoutScalarValidRangeEnd;
25
26impl<S: Stage> SingleAttributeParser<S> for RustcLayoutScalarValidRangeEnd {
27    const PATH: &'static [Symbol] = &[sym::rustc_layout_scalar_valid_range_end];
28    const ATTRIBUTE_ORDER: AttributeOrder = AttributeOrder::KeepFirst;
29    const ON_DUPLICATE: OnDuplicate<S> = OnDuplicate::Error;
30    const TEMPLATE: AttributeTemplate = template!(List: "end");
31
32    fn convert(cx: &mut AcceptContext<'_, '_, S>, args: &ArgParser<'_>) -> Option<AttributeKind> {
33        parse_rustc_layout_scalar_valid_range(cx, args)
34            .map(|n| AttributeKind::RustcLayoutScalarValidRangeEnd(n, cx.attr_span))
35    }
36}
37
38fn parse_rustc_layout_scalar_valid_range<S: Stage>(
39    cx: &mut AcceptContext<'_, '_, S>,
40    args: &ArgParser<'_>,
41) -> Option<Box<u128>> {
42    let Some(list) = args.list() else {
43        cx.expected_list(cx.attr_span);
44        return None;
45    };
46    let Some(single) = list.single() else {
47        cx.expected_single_argument(list.span);
48        return None;
49    };
50    let Some(lit) = single.lit() else {
51        cx.expected_integer_literal(single.span());
52        return None;
53    };
54    let LitKind::Int(num, _ty) = lit.kind else {
55        cx.expected_integer_literal(single.span());
56        return None;
57    };
58    Some(Box::new(num.0))
59}
60
61pub(crate) struct RustcObjectLifetimeDefaultParser;
62
63impl<S: Stage> SingleAttributeParser<S> for RustcObjectLifetimeDefaultParser {
64    const PATH: &[rustc_span::Symbol] = &[sym::rustc_object_lifetime_default];
65    const ATTRIBUTE_ORDER: AttributeOrder = AttributeOrder::KeepFirst;
66    const ON_DUPLICATE: OnDuplicate<S> = OnDuplicate::Error;
67    const TEMPLATE: AttributeTemplate = template!(Word);
68
69    fn convert(cx: &mut AcceptContext<'_, '_, S>, args: &ArgParser<'_>) -> Option<AttributeKind> {
70        if let Err(span) = args.no_args() {
71            cx.expected_no_args(span);
72            return None;
73        }
74
75        Some(AttributeKind::RustcObjectLifetimeDefault)
76    }
77}