pub fn check_item_type<'tcx>(tcx: TyCtxt<'tcx>, it: &'tcx Item<'tcx>)