hax_frontend_exporter

Function get_def_span

source 
pub fn get_def_span<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    def_kind: DefKind,
) -> Span
Expand description

Gets the attributes of the definition.