fn binders_for<'tcx>(
    interner: RustInterner<'tcx>,
    bound_vars: SubstsRef<'tcx>
) -> VariableKinds<RustInterner<'tcx>>