非主目约束

non-argument binding