https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61636
--- Comment #9 from Adam Butcher <abutcher at gcc dot gnu.org> --- (In reply to Adam Butcher from comment #8) > There are no overloads of 'fn1' that can accept a 'B'. > Oops, sorry. I meant to say that there are no overloads of 'fn1' that can accept an 'A'. Clearly a 'B' may be used as an 'A' but not vice versa.