prog.cc:10:28: error: no matching function for call to 'f'
using type = decltype( f( static_cast<Derived*>(nullptr) ) );
^
prog.cc:7:5: note: candidate template ignored: could not match 'Base<type-parameter-0-0>' against 'Derived'
int f( Base<T>* );
^
1 error generated.