Function alias_checks 

pub(crate) fn alias_checks(
    ty: &impl ToTokens,
    handles: &[(Ident, bool, String)],
    receiver: Option<(TokenStream, bool)>,
) -> TokenStream

Reject overlapping Self arguments before any of their references exist. Shared/shared pairs are allowed. Reentrant access remains a separate concern.