// { dg-module-do run }
// { dg-additional-options -fmodule-header }

template<template<typename> class _Op>
using __detected_or_t = long;

template<typename _Ptr>
struct pointer_traits
{
  template<typename _Tp>
  using __difference_type = typename _Tp::difference_type;

  using difference_type = __detected_or_t<__difference_type>;
};