verb · to catch up on sleep

他熬了一整晚，现在正忙着补眠。