Retain ParamEnv constness when running deferred cast checks

Fixes #103677.
This commit is contained in:
Deadbeef 2022-10-28 11:46:12 +00:00
parent 6e6a8034b8
commit 678e67590a

View file

@ -3,6 +3,7 @@ use rustc_hir_typeck::{cast, FnCtxt, Inherited};
use rustc_lint::LateContext;
use rustc_middle::ty::{cast::CastKind, Ty};
use rustc_span::DUMMY_SP;
use rustc_hir as hir;
// check if the component types of the transmuted collection and the result have different ABI,
// size or alignment
@ -56,7 +57,7 @@ fn check_cast<'tcx>(cx: &LateContext<'tcx>, e: &'tcx Expr<'_>, from_ty: Ty<'tcx>
if let Ok(check) = cast::CastCheck::new(
&fn_ctxt, e, from_ty, to_ty,
// We won't show any error to the user, so we don't care what the span is here.
DUMMY_SP, DUMMY_SP,
DUMMY_SP, DUMMY_SP, hir::Constness::NotConst,
) {
let res = check.do_check(&fn_ctxt);