trait UnderOwnerState<'tcx> = BaseState<'tcx> + HasOwnerId;
State of anything below a owner_id.
owner_id