nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-05-06 23:17:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

new_ret_no_self walk return type to check for self

Browse Source
This commit is contained in:
Josh Mcguigan 2018-10-19 17:54:25 -07:00
parent 097df8f223
commit 079f9f45b5
1 changed files with 6 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
clippy_lints/src/methods/mod.rs
View File

@ -936,13 +936,15 @@ impl<'a, 'tcx> LateLintPass<'a, 'tcx> for Pass {
if let hir::ImplItemKind::Method(_, _) = implitem.node {
let ret_ty = return_ty(cx, implitem.id);
// println!("ret_ty: {:?}", ret_ty);
// println!("ret_ty.sty {:?}", ret_ty.sty);
// walk the return type and check for Self (this does not check associated types)
for inner_type in ret_ty.walk() {
if same_tys(cx, ty, inner_type) { return; }
}
// if return type is impl trait
// if return type is impl trait, check the associated types
if let TyKind::Opaque(def_id, _) = ret_ty.sty {
// then one of the associated types must be Self
// one of the associated types must be Self
for predicate in cx.tcx.predicates_of(def_id).predicates.iter() {
match predicate {
(Predicate::Projection(poly_projection_predicate), _) => {
@ -958,20 +960,6 @@ impl<'a, 'tcx> LateLintPass<'a, 'tcx> for Pass {
}
}
// if return type is tuple
if let TyKind::Tuple(list) = ret_ty.sty {
// then at least one of the types in the tuple must be Self
for ret_type in list {
if same_tys(cx, ty, ret_type) { return; }
}
}
// if return type is mutable pointer
if let TyKind::RawPtr(ty::TypeAndMut{ty: ret_type, ..}) = ret_ty.sty {
// then the pointer must point to Self
if same_tys(cx, ty, ret_type) { return; }
}
if name == "new" && !same_tys(cx, ret_ty, ty) {
span_lint(cx,
NEW_RET_NO_SELF,