fn mir_unsafety_check_result(
    tcx: TyCtxt<'_>,
    def: LocalDefId
) -> &UnsafetyCheckResult