module M {
    // Test for an invalid (i.e., missing) resource name
    fun f() acquires {
    }
}