use rustc_const_eval::check_consts;
use rustc_middle::ty::TyCtxt;
use crate::MirLint;
use rustc_middle::mir::*;