// { dg-additional-options -fmodules-ts } | |
export module foo; | |
// { dg-module-cmi foo } | |
template<typename Arg1, template<typename> typename Arg2> | |
struct TPL | |
{ | |
using type = char; | |
}; | |
/// Implementation of the detection idiom (positive case). | |
template<template<typename> typename Op> | |
struct TPL <Op<int>, Op> | |
{ | |
using type = int; | |
}; |