Trait Alias UnderBinderState

trait UnderBinderState<'tcx> = UnderOwnerState<'tcx> + HasBinder<'tcx>;

State of anything below a binder.