I believe this may be a potential footgun for users since the compiler may compile but the code may not run correctly, one could also argue that it is a logic error but the one new to rust may not know about this.
That's why I think a special attribute just for a warning message may be worthwhile.