test_binder_constraints

Perma-unstable, only used in the test suite for binders (for<'a>).

This feature has no tracking issue, and is therefore likely internal to the compiler, not being intended for general use.