1 use clippy_utils::diagnostics::span_lint;
2 use clippy_utils::{is_expr_path_def_path, match_def_path, paths};
3 use if_chain::if_chain;
5 use rustc_lint::LateContext;
6 use rustc_middle::ty::{self, Ty};
8 use super::UNINIT_ASSUMED_INIT;
10 /// lint for `MaybeUninit::uninit().assume_init()` (we already have the latter)
11 pub(super) fn check(cx: &LateContext<'_>, expr: &hir::Expr<'_>, recv: &hir::Expr<'_>) {
13 if let hir::ExprKind::Call(callee, args) = recv.kind;
15 if is_expr_path_def_path(cx, callee, &paths::MEM_MAYBEUNINIT_UNINIT);
16 if !is_maybe_uninit_ty_valid(cx, cx.typeck_results().expr_ty_adjusted(expr));
22 "this call for this type may be undefined behavior"
28 fn is_maybe_uninit_ty_valid(cx: &LateContext<'_>, ty: Ty<'_>) -> bool {
30 ty::Array(component, _) => is_maybe_uninit_ty_valid(cx, component),
31 ty::Tuple(types) => types.types().all(|ty| is_maybe_uninit_ty_valid(cx, ty)),
32 ty::Adt(adt, _) => match_def_path(cx, adt.did, &paths::MEM_MAYBEUNINIT),