// @ts-check