62 lines
1.5 KiB
Rust
62 lines
1.5 KiB
Rust
|
//! checks for `#[inline]` on trait methods without bodies
|
||
|
|
|
||
|
|
use rustc::lint::*;
|
||
|
|
use rustc::hir::*;
|
||
|
|
use syntax::ast::{Attribute, Name};
|
||
|
|
use utils::span_lint;
|
||
|
|
|
||
|
|
/// **What it does:** Checks for `#[inline]` on trait methods without bodies
|
||
|
|
///
|
||
|
|
/// **Why is this bad?** Only implementations of trait methods may be inlined.
|
||
|
|
/// The inline attribute is ignored for trait methods without bodies.
|
||
|
|
///
|
||
|
|
/// **Known problems:** None.
|
||
|
|
///
|
||
|
|
/// **Example:**
|
||
|
|
/// ```rust
|
||
|
|
/// trait Animal {
|
||
|
|
/// #[inline]
|
||
|
|
/// fn name(&self) -> &'static str;
|
||
|
|
/// }
|
||
|
|
/// ```
|
||
|
|
declare_lint! {
|
||
|
|
pub INLINE_FN_WITHOUT_BODY,
|
||
|
|
Warn,
|
||
|
|
"use of `#[inline]` on trait methods without bodies"
|
||
|
|
}
|
||
|
|
|
||
|
|
#[derive(Copy, Clone)]
|
||
|
|
pub struct Pass;
|
||
|
|
|
||
|
|
impl LintPass for Pass {
|
||
|
|
fn get_lints(&self) -> LintArray {
|
||
|
|
lint_array!(INLINE_FN_WITHOUT_BODY)
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
impl<'a, 'tcx> LateLintPass<'a, 'tcx> for Pass {
|
||
|
|
fn check_trait_item(&mut self, cx: &LateContext<'a, 'tcx>, item: &'tcx TraitItem) {
|
||
|
|
match item.node {
|
||
|
|
TraitItemKind::Method(_, TraitMethod::Required(_)) => {
|
||
|
|
check_attrs(cx, &item.name, &item.attrs);
|
||
|
|
},
|
||
|
|
_ => {},
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
fn check_attrs(cx: &LateContext, name: &Name, attrs: &[Attribute]) {
|
||
|
|
for attr in attrs {
|
||
|
|
if attr.name().map_or(true, |n| n != "inline") {
|
||
|
|
continue;
|
||
|
|
}
|
||
|
|
|
||
|
|
span_lint(
|
||
|
|
cx,
|
||
|
|
INLINE_FN_WITHOUT_BODY,
|
||
|
|
attr.span,
|
||
|
|
&format!("use of `#[inline]` on trait method `{}` which has no body", name),
|
||
|
|
);
|
||
|
|
}
|
||
|
|
}
|