I'd be of the opinion that these should be a compile error instead of warning, above you're generating an error for `ignore` in `TotalEq` and the two cases seem similar to me.