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