An example of weird template error messaging

[Ethan]

On Sunday, 4 August 2019 at 15:18:40 UTC, Ethan wrote:
> struct ObjectRefImpl( Type, BaseType ) if( is( Type Super == 
> super ) && is( Super == BaseType ) )

(Yes that should read is( Super[ 0 ] == BaseType ) )