Wandbox
SettingsLog
SettingsLog
Language
GitHubLogin
Ran/Viewed Log

Author

anonymous

over 7 years ago

Language

Compiler

Options

Author

anonymous

over 7 years ago

$
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