https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98881
--- Comment #1 from Nathan Sidwell <nathan at gcc dot gnu.org> --- Reduced testcase: export module Expr; template <typename T> class TBase {}; template<template <typename> typename TTpl> class TBase<TTpl<int>> { public: template<template <typename> typename UTpl> void Foo (TBase<UTpl<int>> &rhs); }; void Frob (TBase<int>&);