Add fail_with_type