https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93933
--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Nathan Sidwell <nat...@gcc.gnu.org>: https://gcc.gnu.org/g:9d2d283367a407c1ba9ecdb8590f9295828e25f8 commit r10-6907-g9d2d283367a407c1ba9ecdb8590f9295828e25f8 Author: Nathan Sidwell <nat...@acm.org> Date: Thu Feb 27 10:50:36 2020 -0800 Compare ARGUMENT_PACKS [pr93933] This implements Jason's suggested approach: 'I'd think that the bug is that we're treating them as types in the first place; they aren't types, so they shouldn't reach comptypes. I'd lean toward adding an assert to that effect and fixing the caller to use e.g. template_args_equal.' PR c++/93933 * pt.c (template_args_equal): Pass ARGUMENT_PACKS through to cp_tree_equal. * tree.c (cp_tree_equal): Compare ARGUMENT_PACKS here, * typeck.c (comptypes): Assert we don't get any argument packs.
