Well would it be unsafe if it checks post monomorph? It would just be ugly error messages i guess
I don’t think the compiler is set up to be able to check lifetimes post-mono? (Not an expert on that though)
Oh right.. completely forgot types also associate with lifetimes...
Made it an rfc RFC: Assume bounds for generic functions by DasLixou · Pull Request #3802 · rust-lang/rfcs · GitHub yay
also I changed it from being a macro to an attribute, as that looks better in place and already got support for real unsafe
1 Like