1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
//! This implementation uses [`proc_macro::Diagnostic`], nightly only.
use std::cell::Cell;
use proc_macro::{Diagnostic as PDiag, Level as PLevel};
use crate::{
abort_now, check_correctness,
diagnostic::{Diagnostic, Level, SuggestionKind},
};
pub fn abort_if_dirty() {
check_correctness();
if IS_DIRTY.with(|c| c.get()) {
abort_now()
}
}
pub(crate) fn cleanup() -> Vec<Diagnostic> {
IS_DIRTY.with(|c| c.set(false));
vec![]
}
pub(crate) fn emit_diagnostic(diag: Diagnostic) {
let Diagnostic {
level,
span_range,
msg,
suggestions,
children,
} = diag;
let span = span_range.collapse().unwrap();
let level = match level {
Level::Warning => PLevel::Warning,
Level::Error => {
IS_DIRTY.with(|c| c.set(true));
PLevel::Error
}
_ => unreachable!(),
};
let mut res = PDiag::spanned(span, level, msg);
for (kind, msg, span) in suggestions {
res = match (kind, span) {
(SuggestionKind::Note, Some(span_range)) => {
res.span_note(span_range.collapse().unwrap(), msg)
}
(SuggestionKind::Help, Some(span_range)) => {
res.span_help(span_range.collapse().unwrap(), msg)
}
(SuggestionKind::Note, None) => res.note(msg),
(SuggestionKind::Help, None) => res.help(msg),
}
}
for (span_range, msg) in children {
let span = span_range.collapse().unwrap();
res = res.span_error(span, msg);
}
res.emit()
}
thread_local! {
static IS_DIRTY: Cell<bool> = Cell::new(false);
}
|
