icode: ITypeCheck requires a receiver