Wandbox

Ran/Viewed Log

Author

anonymous

over 7 years ago

Language

C++

Compiler

gcc HEAD 8.0.0 20171006 (experimental)

Options

Warnings

Boost 1.65.1

C++1z(GNU)

no pedantic

Author

anonymous

over 7 years ago

$ g++ prog.cc -Wall -Wextra -I/opt/wandbox/boost-1.65.1/gcc-head/include -std=gnu++1z

prog.cc: In function 'int main()':
prog.cc:12:28: error: no matching function for call to 'foo(tag<typer>, int)'
     foo(tag<typer>{}, int{});
                            ^
prog.cc:5:6: note: candidate: 'template<template<class> class TT, class T> void foo(tag<TT>, TT<T>)'
 void foo(tag<TT>, TT<T>) {
      ^~~
prog.cc:5:6: note:   template argument deduction/substitution failed:
prog.cc:12:28: note:   can't deduce a template for 'TT<T>' from non-template type 'int'
     foo(tag<typer>{}, int{});
                            ^

Exit Code:

1