Omitted type check