github-mirror/linux
1
0
Fork 0
mirror of https://github.com/torvalds/linux.git synced 2026-11-07 06:17:02 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity Graph

rust: pin-init: internal: pin_data: parse explicit #[borrowed] annotation

Browse Source 
`#[borrowed]` attribute explicitly marks a field as potentially being
borrowed by other fields.

Acked-by: Benno Lossin <lossin@kernel.org>
Link: https://patch.msgid.link/20261008-dev-selfref-v2-13-e280b3c8fba5@garyguo.net/
Signed-off-by: Gary Guo <gary@garyguo.net>
This commit is contained in:
Gary Guo 2026-09-24 13:30:18 +01:00
parent f53736dd80
commit c660201f82
1 changed files with 32 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
rust/pin-init/internal/src/pin_data.rs
View File

@ -11,8 +11,8 @@
spanned::Spanned,
visit::Visit,
visit_mut::VisitMut,
Field, Fields, GenericParam, Generics, Ident, Index, Item, ItemStruct, Lifetime, LifetimeParam,
Member, PathSegment, Token, Type, TypePath,
Attribute, Field, Fields, GenericParam, Generics, Ident, Index, Item, ItemStruct, Lifetime,
LifetimeParam, Member, Meta, PathSegment, Token, Type, TypePath,
};
use crate::{
@ -55,11 +55,25 @@ fn to_tokens(&self, tokens: &mut TokenStream) {
/// Description of how a field is borrowed.
#[derive(Clone, Copy, Default, PartialEq, Eq)]
enum BorrowedKind {
/// Implicitly inferreed.
/// `#[borrowed]`, or implicitly inferreed.
#[default]
Shared,
}
impl BorrowedKind {
fn parse(dcx: &mut DiagCtxt, attrs: &mut Vec<Attribute>) -> Option<Self> {
let attr = attrs.extract_single_attr(dcx, "borrowed")?;
Some(if let Meta::Path(_) = attr.meta {
BorrowedKind::Shared
} else {
// Swallow the error and recover by inferring shared.
dcx.error(attr.path(), "unexpected `#[borrowed]` attribute");
BorrowedKind::Shared
})
}
}
/// Information about a borrowed field.
struct BorrowedInfo {
kind: BorrowedKind,
@ -305,11 +319,25 @@ fn expand(
})
.visit_type(&field.ty);
let borrowed = BorrowedKind::parse(dcx, &mut field.attrs).and_then(|kind| {
let lifetime = Lifetime::from_ident(&member.as_ident());
if bound_lifetimes.contains(&lifetime) {
dcx.error(
&lifetime,
format!("`{lifetime}` appear in generics and would conflict with field lifetime"),
);
return None;
}
Some(BorrowedInfo { kind, lifetime })
});
FieldInfo {
field,
member,
pinned,
borrowed: None,
borrowed,
captures,
generic_lt_captures,
generic_ty_captures,