mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-23 07:14:28 +00:00
This commit is contained in:
parent
5b8b01e8dc
commit
d1fffe07c5
@ -113,7 +113,7 @@ impl Pass {
|
||||
fn moves_by_default(cx: &LateContext<'_, '_>, expression: &Expr) -> bool {
|
||||
let expr_ty = cx.tables.expr_ty(expression);
|
||||
|
||||
expr_ty.moves_by_default(cx.tcx, cx.param_env, expression.span)
|
||||
!expr_ty.is_copy_modulo_regions(cx.tcx, cx.param_env, expression.span)
|
||||
}
|
||||
|
||||
fn is_option(cx: &LateContext<'_, '_>, expression: &Expr) -> bool {
|
||||
|
@ -271,7 +271,7 @@ pub fn implements_trait<'a, 'tcx>(
|
||||
);
|
||||
cx.tcx
|
||||
.infer_ctxt()
|
||||
.enter(|infcx| infcx.predicate_must_hold(&obligation))
|
||||
.enter(|infcx| infcx.predicate_must_hold_modulo_regions(&obligation))
|
||||
}
|
||||
|
||||
/// Check whether this type implements Drop.
|
||||
@ -884,7 +884,7 @@ pub fn type_is_unsafe_function<'a, 'tcx>(cx: &LateContext<'a, 'tcx>, ty: Ty<'tcx
|
||||
}
|
||||
|
||||
pub fn is_copy<'a, 'tcx>(cx: &LateContext<'a, 'tcx>, ty: Ty<'tcx>) -> bool {
|
||||
!ty.moves_by_default(cx.tcx.global_tcx(), cx.param_env, DUMMY_SP)
|
||||
ty.is_copy_modulo_regions(cx.tcx.global_tcx(), cx.param_env, DUMMY_SP)
|
||||
}
|
||||
|
||||
/// Return whether a pattern is refutable.
|
||||
|
Loading…
Reference in New Issue
Block a user