module 0x1::M {
    #[test(_a = @UnboundAddr)]
    fun test(_a: signer) { }
}