_4 = Option::<for<'a> fn(&'a ()) -> <S2 as P<'a>>::D>::None;
Rupta throws an error saying "TraitPredicate(<S2 as P<'_>>, polarity:Positive) has escaping bound vars, so it cannot be wrapped in a dummy binder." Looks like the for<'a> lifetime bound was not taken into account, causing a free lifetime 'a.
For such a mir assignment,
Rupta throws an error saying "
TraitPredicate(<S2 as P<'_>>, polarity:Positive)
has escaping bound vars, so it cannot be wrapped in a dummy binder." Looks like thefor<'a>
lifetime bound was not taken into account, causing a free lifetime'a
.For a minimal reproducible example, see this.