Function check_offload_kernels_instantiated 

pub(crate) fn check_offload_kernels_instantiated<'tcx>(
    tcx: TyCtxt<'tcx>,
    mono_items: &[MonoItem<'tcx>],
)