hax_frontend_exporter::rustc_utils

Function attribute_from_scope

source
pub(crate) fn attribute_from_scope<'tcx, S: ExprState<'tcx>>(
    s: &S,
    scope: &Scope,
) -> (Option<HirId>, Vec<Attribute>)