get_def_attrs

hax_frontend_exporter::rustc

Function get_def_attrs 

Source 
pub fn get_def_attrs<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: RDefId,
    def_kind: DefKind,
) -> &'tcx [Attribute]
Expand description

Gets the attributes of the definition.