Lines Matching refs:Label
8 use codespan_reporting::diagnostic::{Diagnostic, Label};
99 Label::primary(file_id1, 96..102).with_message("unknown builtin")
108 Label::primary(file_id1, 285..289).with_message("unused parameter")
116 Label::primary(file_id2, 37..44).with_message("expected `Nat`, found `String`"),
117 Label::secondary(file_id1, 130..155)
131 Label::primary(file_id3, 163..166).with_message("expected `String`, found `Nat`"),
132 Label::secondary(file_id3, 62..166)
134 Label::secondary(file_id3, 41..47)
148 Label::primary(file_id3, 328..331).with_message("expected `String`, found `Nat`"),
149 Label::secondary(file_id3, 211..331)
151 Label::secondary(file_id3, 258..268)
153 Label::secondary(file_id3, 284..290)
155 Label::secondary(file_id3, 306..312)
157 Label::secondary(file_id3, 186..192)