pub type StateWithOwner<'tcx> = State<Base<'tcx>, DefId, ()>;
pub struct StateWithOwner<'tcx> { pub base: Base<'tcx>, pub owner: DefId, pub binder: (), }
base: Base<'tcx>
owner: DefId
binder: ()