From f8dda12fae0e7373c9982a61704f0782814c12cf Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Fri, 29 Apr 2022 12:34:48 -0400 Subject: [PATCH] tamer: diagnose::report: Remove TODOs that are no longer applicable These relate to the most recent commits. DEV-12151 --- tamer/src/diagnose/report.rs | 3 --- 1 file changed, 3 deletions(-) diff --git a/tamer/src/diagnose/report.rs b/tamer/src/diagnose/report.rs index 18a01fce..7dba5b90 100644 --- a/tamer/src/diagnose/report.rs +++ b/tamer/src/diagnose/report.rs @@ -309,14 +309,11 @@ impl<'s, 'd> Section<'d> { extend: Option<&mut Section<'d>>, ) -> Option { match extend { - // TODO: Take highest level. Some(extend_sec) if self.span == extend_sec.span => { // TODO: At the time of writing this will cause duplication of // system labels, // which is not desirable. extend_sec.body.extend( - // TODO: The system wastefully allocates duplicate source - // lines when resolving spans only to discard them here. self.body .into_iter() .filter_map(SectionLine::into_footnote),