type <'tcx> = impl : Iterator<Item = NllMemberConstraintIndex> + Captures<'tcx> + '_;