/// // Good (as inner attribute)
/// #![inline(always)]
///
-/// fn this_is_fine_too(..) { ... }
+/// fn this_is_fine(..) { ... }
///
/// // Good (as outer attribute)
/// #[inline(always)]
-/// fn this_is_fine(..) { ... }
-///
+/// fn this_is_fine_too(..) { ... }
/// ```
declare_lint! {
pub EMPTY_LINE_AFTER_OUTER_ATTR,
last_section = None
for line in lint.doc:
- if len(line.strip()) == 0:
+ if len(line.strip()) == 0 and not last_section.startswith("Example"):
continue
match = re.match(lint_subheadline, line)
log.warn("Skipping comment line as it was not preceded by a heading")
log.debug("in lint `%s`, line `%s`", lint.name, line)
- lint_dict['docs'][last_section] = \
- (lint_dict['docs'].get(last_section, "") + "\n" + text).strip()
+ fragment = lint_dict['docs'].get(last_section, "")
+ if text == "\n":
+ line = fragment + text
+ else:
+ line = (fragment + "\n" + text).strip()
+
+ lint_dict['docs'][last_section] = line
return lint_dict