Re: Incompatible types error detection bug