WIP -- Missing `Binder` from the rustc unit test