Currently the spec states:

Validation of [method] names requires the first parameter of the function to be (param "self" (borrow $R)), where $R is the resource labeled r.

Are there any plans to allow methods that consume their self argument?

My specific use case would be; to define a specialized destructor for a resource, which takes additional arguments and is async.