Auto merge of #5177 - matthewjasper:own-infer, r=flip1995
Avoid using regions from `TypeckTables` These regions will all be `ReErased` soon. (rust-lang/rust#69189) changelog: none
This commit is contained in:
commit
578960d61d
@ -1721,14 +1721,49 @@ fn requires_to_string(cx: &LateContext<'_, '_>, arg: &hir::Expr<'_>) -> bool {
|
|||||||
if match_type(cx, arg_ty, &paths::STRING) {
|
if match_type(cx, arg_ty, &paths::STRING) {
|
||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
if let ty::Ref(ty::ReStatic, ty, ..) = arg_ty.kind {
|
if let ty::Ref(_, ty, ..) = arg_ty.kind {
|
||||||
if ty.kind == ty::Str {
|
if ty.kind == ty::Str && can_be_static_str(cx, arg) {
|
||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
};
|
};
|
||||||
true
|
true
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// Check if an expression could have type `&'static str`, knowing that it
|
||||||
|
// has type `&str` for some lifetime.
|
||||||
|
fn can_be_static_str(cx: &LateContext<'_, '_>, arg: &hir::Expr<'_>) -> bool {
|
||||||
|
match arg.kind {
|
||||||
|
hir::ExprKind::Lit(_) => true,
|
||||||
|
hir::ExprKind::Call(fun, _) => {
|
||||||
|
if let hir::ExprKind::Path(ref p) = fun.kind {
|
||||||
|
match cx.tables.qpath_res(p, fun.hir_id) {
|
||||||
|
hir::def::Res::Def(hir::def::DefKind::Fn, def_id)
|
||||||
|
| hir::def::Res::Def(hir::def::DefKind::Method, def_id) => matches!(
|
||||||
|
cx.tcx.fn_sig(def_id).output().skip_binder().kind,
|
||||||
|
ty::Ref(ty::ReStatic, ..)
|
||||||
|
),
|
||||||
|
_ => false,
|
||||||
|
}
|
||||||
|
} else {
|
||||||
|
false
|
||||||
|
}
|
||||||
|
},
|
||||||
|
hir::ExprKind::MethodCall(..) => cx.tables.type_dependent_def_id(arg.hir_id).map_or(false, |method_id| {
|
||||||
|
matches!(
|
||||||
|
cx.tcx.fn_sig(method_id).output().skip_binder().kind,
|
||||||
|
ty::Ref(ty::ReStatic, ..)
|
||||||
|
)
|
||||||
|
}),
|
||||||
|
hir::ExprKind::Path(ref p) => match cx.tables.qpath_res(p, arg.hir_id) {
|
||||||
|
hir::def::Res::Def(hir::def::DefKind::Const, _) | hir::def::Res::Def(hir::def::DefKind::Static, _) => {
|
||||||
|
true
|
||||||
|
},
|
||||||
|
_ => false,
|
||||||
|
},
|
||||||
|
_ => false,
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
fn generate_format_arg_snippet(
|
fn generate_format_arg_snippet(
|
||||||
cx: &LateContext<'_, '_>,
|
cx: &LateContext<'_, '_>,
|
||||||
a: &hir::Expr<'_>,
|
a: &hir::Expr<'_>,
|
||||||
|
@ -7,7 +7,7 @@
|
|||||||
use matches::matches;
|
use matches::matches;
|
||||||
use rustc::traits;
|
use rustc::traits;
|
||||||
use rustc::traits::misc::can_type_implement_copy;
|
use rustc::traits::misc::can_type_implement_copy;
|
||||||
use rustc::ty::{self, RegionKind, TypeFoldable};
|
use rustc::ty::{self, TypeFoldable};
|
||||||
use rustc_data_structures::fx::{FxHashMap, FxHashSet};
|
use rustc_data_structures::fx::{FxHashMap, FxHashSet};
|
||||||
use rustc_errors::{Applicability, DiagnosticBuilder};
|
use rustc_errors::{Applicability, DiagnosticBuilder};
|
||||||
use rustc_hir::intravisit::FnKind;
|
use rustc_hir::intravisit::FnKind;
|
||||||
@ -171,7 +171,7 @@ fn check_fn(
|
|||||||
(
|
(
|
||||||
preds.iter().any(|t| t.def_id() == borrow_trait),
|
preds.iter().any(|t| t.def_id() == borrow_trait),
|
||||||
!preds.is_empty() && {
|
!preds.is_empty() && {
|
||||||
let ty_empty_region = cx.tcx.mk_imm_ref(&RegionKind::ReEmpty(ty::UniverseIndex::ROOT), ty);
|
let ty_empty_region = cx.tcx.mk_imm_ref(cx.tcx.lifetimes.re_root_empty, ty);
|
||||||
preds.iter().all(|t| {
|
preds.iter().all(|t| {
|
||||||
let ty_params = &t
|
let ty_params = &t
|
||||||
.skip_binder()
|
.skip_binder()
|
||||||
|
Loading…
Reference in New Issue
Block a user