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