https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88820
--- Comment #1 from Hana Dusíková <hanicka at hanicka dot net> --- I think I found a related problem. It's about deducting argument of a class when instantiating subtype. I created a minimal case. I'm attaching.