fn substs_infer_vars<'a, 'tcx>(
    selcx: &mut SelectionContext<'a, 'tcx>,
    substs: Binder<'tcx, SubstsRef<'tcx>>
) -> impl Iterator<Item = TyOrConstInferVar<'tcx>>
Expand description

Returns the set of inference variables contained in substs.