Document implicit lifting and -Werror=implicit-lift
Users who dislike implicit lifting can use -Werror=implicit-lift
to effectively disable it. We should make this more visible.
Users who dislike implicit lifting can use -Werror=implicit-lift
to effectively disable it. We should make this more visible.