On Friday, 24 March 2023 at 09:44:28 UTC, FeepingCreature wrote: > If we insert the missing step, what the compiler should do is: > "Ah, `B` is a 'trivial alias' My apologies, correction: `A` is a 'trivial alias'. Sorry for the minipost, but this topic demands precision.