type check fail