do not mute types when checking abstract casts