pub(crate) fn thir_check_unsafety() -> DepKindStruct