Drop on `await` point

Hello, what do you think about potentially adding a language feature that will allow forcing synchronous drop at the await boundary, with an error if value is used afterwards? There exists lots of data structures that rely on the fact that they are not being held across await point, and that might help with it.