Attachment 1470643 Details for Bug 1608719 – Test case to reproduce issue

Test case to reproduce issue

test.cpp (text/x-csrc), 1.44 KB, created by Ankur deDev on 2018-07-26 08:15:10 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Ankur deDev

Created: 2018-07-26 08:15:10 UTC

Size: 1.44 KB

patch

obsolete

>// A template struct named Foo.
>template<typename>
>struct Foo {};
>
>// A template alias for type Foo.
>template<typename TYPE>
>using AliasFoo = Foo<TYPE>;
>
>// A variadic template alias for type Foo.
>template<typename... ARGS>
>using VariadicAliasFoo = Foo<ARGS...>;
>
>// A template struct named Bar.
>template<template<typename...> class TEMPLATE, typename TYPE>
>struct Bar
>{
>  static constexpr bool value = false;
>};
>
>// Partial specialization of template struct Bar.
>template<template<typename...> class TEMPLATE, typename... ARGS>
>struct Bar< TEMPLATE, TEMPLATE<ARGS...> >
>{
>  static constexpr bool value = true;
>};
>
>
>// The main function.
>int main()
>{
>  // These compile time assertions are satisfied (as expected).
>  static_assert(Bar<Foo, Foo<int> >::value, "");
>  static_assert(Bar<Foo, AliasFoo<int> >::value, "");
>  static_assert(Bar<Foo, VariadicAliasFoo<int> >::value, "");
>
>  // These compile time assertions are:
>  // - not satisfied with Clang.
>  // - satisfied with GCC.
>  static_assert(Bar<AliasFoo, Foo<int> >::value, "");
>  static_assert(Bar<AliasFoo, AliasFoo<int> >::value, "");
>  static_assert(Bar<AliasFoo, VariadicAliasFoo<int> >::value, "");
>
>  // These compile time assertions are not satisfied (unexpected).
>  static_assert(Bar<VariadicAliasFoo, Foo<int> >::value, "");
>  static_assert(Bar<VariadicAliasFoo, AliasFoo<int> >::value, "");
>  static_assert(Bar<VariadicAliasFoo, VariadicAliasFoo<int> >::value, "");
>
>  // Always return zero.
>  return 0;
>}

Actions: View

Attachments on bug 1608719: 1470643